теория категорий

Доступная категория Основы теории доступных категорий Теория доступных категорий — это раздел математики, описывающий категории через количество операций, необходимых для […]

Алгебра категорий Определение алгебры категорий Алгебра категорий — это ассоциативная алгебра, определенная для локально конечной категории и коммутативного кольца с

Избыточная категория Определение и свойства сверхкатегорий Сверхкатегория — это выделенный класс категорий, используемый в теории категорий.  Они служат для отслеживания

Конечная категория Определение позитальной категории Позитальная категория — это категория с не более чем одним морфизмом в наборе значений.  Конечная

Условие согласованности Определение когерентности в теории категорий Когерентность — это условие, при котором композиции элементарных морфизмов равны.  Элементарные морфизмы —

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

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

Условие согласованности Определение когерентности в теории категорий Когерентность — это условие, при котором композиции элементарных морфизмов равны.  Элементарные морфизмы —

Топологическая категория Определение топологической категории В теории категорий топологическая категория может иметь несколько определений.  Одно из определений включает обогащение категории

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

Доступная категория Основы теории доступных категорий Теория доступных категорий — это раздел математики, описывающий категории через количество операций, необходимых для

Доступная категория Основы теории доступных категорий Теория доступных категорий — это раздел математики, описывающий категории через количество операций, необходимых для

Избыточная категория Определение и свойства сверхкатегорий Сверхкатегория — это выделенный класс категорий, используемый в теории категорий.  Они служат для отслеживания

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

Узловая декомпозиция Определение и свойства узловой декомпозиции Узловая декомпозиция — это способ представления морфизма в категории через его узловые части. 

Противоположная категория Определение и свойства противоположной категории Противоположная категория Cop категории C формируется путем изменения направления морфизмов.  Повторное обращение приводит

Отфильтрованная категория Отфильтрованные категории обобщают понятие направленного множества в теории категорий.  Существует двойственное понятие кофильтрованной категории.  Отфильтрованные категории фильтруются, когда

Отфильтрованная категория Отфильтрованные категории обобщают понятие направленного множества в теории категорий.  Существует двойственное понятие кофильтрованной категории.  Отфильтрованные категории фильтруются, когда

Вводный объект Инъективный объект в математике — обобщение понятия инъективного модуля.  Понятие инъективности важно в когомологиях, теории гомотопий и теории

Каркас (теория категорий) Скелет категории — это подкатегория, не содержащая посторонних изоморфизмов.  Скелет категории является «наименьшей» эквивалентной категорией, отражающей все

Условие согласованности Условие когерентности в математике требует, чтобы различные композиции элементарных морфизмов были одинаковыми.  Элементарные морфизмы являются частью данных категории.