Связные топосы - Википедия - Coherent topos
В математике связные топосы это топос порождается набором квазикомпактных квазиразделенных объектов, замкнутых относительно конечных произведений.[1]
Смотрите также
Рекомендации
- Джейкоб Лурье, Категориальная логика (278x)
внешняя ссылка
Эта статья по математике заглушка. Вы можете помочь Википедии расширяя это. |