Категория с запятой
- Категория с запятой – это категория, в которой объекты и морфизмы связаны с двумя другими категориями.
- Забывающие функторы используются для определения свойств категорий с запятой.
- Примеры категорий с естественным определением через категории с запятой включают категории заостренных множеств и ассоциативных алгебр.
- Категория графов может быть выражена в терминах категории с запятой, где объекты состоят из наборов и функций.
- Локально декартовы замкнутые категории являются классифицирующими категориями теорий зависимых типов.
- Ограничения и коллимиты в категориях с запятой могут быть “унаследованы” от полных или неполных категорий.
- Универсальные морфизмы могут быть выражены в терминах категории с запятой, создавая категорию конусов и используя конечный объект в качестве предельного конуса.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: