В математике когерентные топо - это топо, сгенерированные набором квазикомпактных квази -разделенные объекты, закрытые конечными продуктами.
