Категория с запятой

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