Category theory stubs

Классифицированная категория Определение классифицированной категории Классифицированная категория — это категория с функтором, связывающим ее с другой категорией.  Моноиды и группы

Крышка Фрейда Определение категории покрытия Фрейда Категория покрытия Фрейда (scone) выводит из исходной категории конструкцию, подобную множеству.  Исходная категория должна

Обширная категория Определение экстенсивной категории Экстенсивная категория C имеет конечные непересекающиеся побочные продукты.  Функтор копроизведения в категории среза C /X

Категория клея Определение адгезивной категории Адгезивная категория — категория с мономорфизмами, имеющими выталкивания.  Примеры адгезивных категорий: направленные мультиграфы и теория

Категория для вставки Определение категории вставки Категория вставки Ins(F, G) является категорией, где два функтора F и G имеют одну

Распределительная категория Определение дистрибутивной категории Категория является дистрибутивной, если она обладает конечными произведениями и копроизведениями.  Канонические карты в категории являются

Генератор (теория категорий) Определение семейства образующих Семейство образующих в категории C — это набор объектов G ⊆ Ob(C), для которых

Эскиз (математика) Основы теории категорий Эскиз в категории D — это категория с конусами и коконами.  Модель эскиза в категории

Внутренняя категория Определение внутренних категорий Внутренние категории являются обобщением малых категорий и определяются относительно внешней категории.  Если категория окружения —

Глобулярный набор Определение глобулярного множества Глобулярное множество — это многомерное обобщение ориентированного графа.  Оно состоит из последовательности множеств и функций,