Оглавление
Внутренняя категория
-
Определение внутренних категорий
- Внутренние категории являются обобщением малых категорий и определяются относительно внешней категории.
- Если категория окружения – категория множеств, то теория малых категорий может быть восстановлена.
- Внутренняя категория состоит из двух объектов и набора морфизмов, удовлетворяющих определенным условиям согласованности.
-
Примеры и преобразования
- Групповые объекты являются распространенными примерами внутренних категорий.
- Существуют внутренние функторы и естественные преобразования, которые преобразуют внутренние категории в 2-ю категорию.
-
Рекомендации и ссылки
- Статья является заглушкой и нуждается в расширении.
- Ссылки на другие статьи по теории категорий предоставлены.
Полный текст статьи: