Оглавление [Скрыть]
Обширная категория
-
Определение экстенсивной категории
- Экстенсивная категория C имеет конечные непересекающиеся побочные продукты.
- Функтор копроизведения в категории среза C /X × C/ Y должен быть эквивалентностью для всех объектов X и Y.
-
Примеры экстенсивных категорий
- Категории “Множество”, “Вершина множеств” и “топологические пространства” являются примерами расширенных категорий.
- Категория предварительных потоков в любой небольшой категории также является расширенной.
- Категория CRingop аффинных схем является обширной.
-
Рекомендации и внешние ссылки
- Статья является заглушкой и нуждается в расширении.
- Ссылка на статью в nLab для дополнительной информации.