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