Сопродукт
Побочный продукт Определение и свойства копроизведения Копроизведение – это операция, которая объединяет объекты в категории. Копроизведение является универсальным морфизмом, который […]
Пределы (теория категорий)
Вики
Инди-завершение
Завершение строительства Определение ind-завершения Ind-завершение – это процесс добавления отфильтрованных значений в категорию C. Прямые системы в категории C определяются
Вики
Аксиома склеивания
Аксиома склеивания Определение и свойства пучков Пучки – это категории, в которых каждый объект имеет пучок, связанный с ним. Пучки
Вики
Обратный предел
Обратный предел Определение и свойства обратного предела Обратный предел – это предел, обратный к прямому пределу. Обратный предел является обратным
Вики
Конус (теория категорий)
Конус (теория категорий) Конус в теории категорий – отображение от объекта к функтору или наоборот. Определение конусов через категорию диаграмм
Вики
Полная категория
Полная категория Полная категория имеет все малые пределы, то есть каждая диаграмма имеет предел в категории. Неполная категория имеет все
Вики
Прямой лимит
Прямой лимит Прямой предел – это универсальный объект, который является целью для каждой направленной системы. Не каждая прямая система в
Вики
Pushout (теория категорий)
Выталкивание (теория категорий) Выталкивание – это операция в категории, которая объединяет два объекта в один. Выталкивание может быть определено как
Вики
Коэквалайзер
Уравнитель Уравнитель – обобщение частного с помощью отношения эквивалентности для объектов произвольной категории. Коэквивалайзер параллельных морфизмов f и g определяется
Вики
Обратный предел
Обратный предел Обратный предел – это предел обратного отображения между двумя категориями. Обратный предел может быть определен для абелевых категорий
Вики
Откат (теория категорий)
Откат (теория категорий) Откат – это операция, обратная отображению. В категории множеств откат является отображением, обратным отображению. Откаты могут быть
Вики
Эквалайзер (математика)
Эквалайзер (математика) Уравнитель в математике – набор аргументов, в которых две или более функции имеют одинаковые значения. Эквалайзер – набор
Вики
Товар (теория категорий)
Продукт (теория категорий) Категория – это математическая структура, объединяющая объекты и морфизмы. Продукт в категории – это операция, которая объединяет
Вики
Начальные и конечные объекты
Начальные и конечные объекты Начальные и конечные объекты являются важными понятиями в теории категорий. Категория может иметь или не иметь
Вики
Предел (теория категорий)
Предел (теория категорий) Пределы и колимиты являются важными понятиями в категории C. Предел диаграммы F в C определяется как объект,