Закрытая категория
-
Определение закрытой категории
- Закрытая категория — это категория с внутренним функтором Hom и неподвижным объектом I.
- Функтор Hom отображает объекты в морфизмы, а объект I является неподвижным.
-
Примеры закрытых категорий
- Декартовы замкнутые категории включают топосы.
- Компактные замкнутые категории включают категории с конечномерными векторными пространствами.
- Моноидальные замкнутые категории включают категории с моноидальной единицей измерения.
-
Рекомендации по цитированию
- При цитировании следует использовать специальные теги для форматирования текста.
- Примеры включают идентификаторы для блокировки и подписки на статьи.
- Для указания на ошибки в тексте используются специальные теги.
-
Использование в nLab
- Закрытые категории обсуждаются в контексте лаборатории nLab.
Полный текст статьи: