Связные топосы - Coherent topos

В математике связные топосы это топос порождается набором квазикомпактных квазиразделенных объектов, замкнутых относительно конечных произведений.[1]

Смотрите также

Рекомендации

  1. ^ Лурье, Лекция 11. Определение 6.

внешняя ссылка