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