Обширная категория
В математике обширная категория — это категория C с конечными копроизведениями , которые не пересекаются и хорошо ведут себя по отношению к обратным преобразованиям . Эквивалентно, C копроизведения является экстенсивным, если функтор от произведения категорий срезов C / X × C / Y категорию срезов C /( X + Y ) является эквивалентностью категорий для всех объектов X и Y из C. на [1]
Примеры [ править ]
Категории Множество и Вершина множеств соответственно и топологических пространств являются обширными категориями. [2] В более общем смысле, категория предпучков любой небольшой категории обширна. [2]
Категория CRing на аффинных схем обширен.
Ссылки [ править ]
- ^ Карбони, Аурелио; Недостаток, Стивен; Уолтерс, RFC (1993). «Введение в экстенсивные и распределительные категории». Журнал чистой и прикладной алгебры . 84 (2): 145–158. дои : 10.1016/0022-4049(93)90035-R .
- ↑ Перейти обратно: Перейти обратно: а б Педиккио, Мария Кристина; Толен, Уолтер (2004). Категориальные основы: специальные темы по порядку, топологии, алгебре и теории пучков . Издательство Кембриджского университета . ISBN 978-0-521-83414-8 . Проверено 4 апреля 2018 г.
Внешние ссылки [ править ]
 | Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |