Отдельная категория
- Дискретная категория в математике — категория с только тождественными морфизмами.
- Некоторые авторы предпочитают более слабое понятие эквивалентности дискретной категории.
- Любой класс объектов с идентификационными картами определяет отдельную категорию.
- Подкатегория отдельной категории является дискретной.
- Категория является отдельной, если все ее подкатегории заполнены.
- Предел функтора из дискретной категории в другую категорию называется произведением.
- Диаграммы в категории функторов C2 представляют собой пары объектов и предел диаграммы является продуктом.
- Функтор из Set в Cat остается присоединенным к функтору, отправляющему небольшую категорию в свой набор объектов.
Полный текст статьи: