Квазитопос - Quasitopos
В математика, конкретно теория категорий, а квазитопос является обобщением топос. Топос имеет классификатор подобъектов классифицирует все подобъекты, но в квазитопе классифицируются только сильные подобъекты. Квазитопозы также должны быть конечно кополный и локально декартово закрыто.[1] Сплошным квазитопо считается тот, для которого 0 является сильным подобъектом 1.[2]
Рекомендации
- ^ Уайлер, Освальд (1991). Конспект лекций по топоям и квазитопоям. ISBN 978-9810201531. Получено 3 февраля 2017.
- ^ Монро, Г. (Сентябрь 1986 г.). «Квазитопои, логические и гейтинговые модели». Журнал чистой и прикладной алгебры. 42 (2): 141–164. Дои:10.1016/0022-4049(86)90077-0.
внешняя ссылка
 | Этот теория категорий -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |