Limits (category theory)

Вики

Откат (теория категорий)

/

Откат (теория категорий) Определение отката Откат (волокнистое произведение) — предел диаграммы из двух морфизмов f: X → Z и g: […]

Вики

Прямой лимит

/

Прямой лимит Определение прямых пределов Прямые пределы строятся из множества объектов, объединенных системой гомоморфизмов.   Обозначаются как lim→⁡Aя, где Aя —

Вики

Обратный предел

/

Обратный предел Определение обратного предела Обратный предел позволяет “склеить” несколько связанных объектов.   Обратный предел определяется морфизмами между объектами.   Обратный предел

Вики

Сопродукт

/

Побочный продукт Определение и свойства копроизведения Копроизведение – это операция, которая объединяет объекты в категории.  Копроизведение является универсальным морфизмом, который

Вики

Инди-завершение

/

Завершение строительства Определение ind-завершения Ind-завершение – это процесс добавления отфильтрованных значений в категорию C.  Прямые системы в категории C определяются

Вики

Аксиома склеивания

/

Аксиома склеивания Определение и свойства пучков Пучки – это категории, в которых каждый объект имеет пучок, связанный с ним.  Пучки

Вики

Обратный предел

/

Обратный предел Определение и свойства обратного предела Обратный предел – это предел, обратный к прямому пределу.  Обратный предел является обратным

Вики

Бипродукт

/

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

Вики

Конус (теория категорий)

/

Конус (теория категорий) Конус в теории категорий – отображение от объекта к функтору или наоборот.  Определение конусов через категорию диаграмм

Вики

Полная категория

/

Полная категория Полная категория имеет все малые пределы, то есть каждая диаграмма имеет предел в категории.  Неполная категория имеет все

Вики

Прямой лимит

/

Прямой лимит Прямой предел – это универсальный объект, который является целью для каждой направленной системы.  Не каждая прямая система в

Вики

Pushout (теория категорий)

/

Выталкивание (теория категорий) Выталкивание – это операция в категории, которая объединяет два объекта в один.  Выталкивание может быть определено как

Вики

Коэквалайзер

/

Уравнитель Уравнитель – обобщение частного с помощью отношения эквивалентности для объектов произвольной категории.  Коэквивалайзер параллельных морфизмов f и g определяется

Вики

Копродукт

/

Побочный продукт Копроизведение в категории – это универсальный морфизм, который объединяет объекты в категории.  Примеры копроизведений включают прямую сумму абелевых

Вики

Обратный предел

/

Обратный предел Обратный предел – это предел обратного отображения между двумя категориями.  Обратный предел может быть определен для абелевых категорий

Вики

Откат (теория категорий)

/

Откат (теория категорий) Откат – это операция, обратная отображению.  В категории множеств откат является отображением, обратным отображению.  Откаты могут быть

Вики

Эквалайзер (математика)

/

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

Вики

Товар (теория категорий)

/

Продукт (теория категорий) Категория – это математическая структура, объединяющая объекты и морфизмы.  Продукт в категории – это операция, которая объединяет

Вики

Предел (теория категорий)

/

Предел (теория категорий) Пределы и колимиты являются важными понятиями в категории C.  Предел диаграммы F в C определяется как объект,

Прокрутить вверх