WikiDer > Конец (теория категорий) - Википедия

В теория категорий, конец функтора ${ Displaystyle S: mathbf {C} ^ { mathrm {op}} times mathbf {C} to mathbf {X}}$ универсальный сверхъестественное преобразование от объекта е из Икс к S.^[1]

Более точно, это пара ${ displaystyle (е, omega)}$, куда е является объектом Икс и ${ displaystyle omega: е { ddot { to}} S}$ это сверхъестественное преобразование, такое что для каждого сверхъестественного преобразования ${ displaystyle beta: х { ddot { to}} S}$ существует уникальный морфизм ${ displaystyle h: x to e}$ из Икс с ${ displaystyle beta _ {a} = omega _ {a} circ h}$ для каждого объекта а из C.

Из-за злоупотребления языком объект е часто называют конец функтора S (забывая ${ displaystyle omega}$) и написано

${ displaystyle e = int _ {c} ^ {} S (c, c) { text {или просто}} int _ { mathbf {C}} ^ {} S.}$

Характеристика как предел: Если Икс является полный и C маленький, конец можно описать как эквалайзер на диаграмме

${ displaystyle int _ {c} S (c, c) to prod _ {c in C} S (c, c) rightrightarrows prod _ {c to c '} S (c, c' ),}$

где первый выравниваемый морфизм индуцирован ${ Displaystyle S (с, с) к S (с, с ')}$ а второй индуцирован ${ Displaystyle S (с ', с') к S (с, с ')}$.

Coend

Определение коенд функтора ${ Displaystyle S: mathbf {C} ^ { mathrm {op}} times mathbf {C} to mathbf {X}}$ является двойственным определению конца.

Таким образом, коэффициент S состоит из пары ${ displaystyle (d, zeta)}$, куда d является объектом Икс и ${ displaystyle zeta: S { ddot { to}} d}$это сверхъестественное преобразование, такое, что для каждого сверхъестественного преобразования ${ Displaystyle gamma: S { ddot { to}} х}$ существует уникальный морфизм${ displaystyle g: d to x}$ из Икс с ${ displaystyle gamma _ {a} = g circ zeta _ {a}}$ для каждого объекта а из C.

В коенд d функтора S написано

${ displaystyle d = int _ {} ^ {c} S (c, c) { text {или}} int _ {} ^ { mathbf {C}} S.}$

Характеристика как копредел: Двойно, если Икс является завершенным и C мала, то коэффициент можно описать как коэквалайзер на диаграмме

${ displaystyle int ^ {c} S (c, c) leftarrow coprod _ {c in C} S (c, c) leftleftarrows coprod _ {c to c '} S (c', c ).}$

Примеры

• Природные преобразования:

Предположим, у нас есть функторы ${ Displaystyle F, G: mathbf {C} to mathbf {X}}$ тогда

${ Displaystyle mathrm {Hom} _ { mathbf {X}} (F (-), G (-)): mathbf {C} ^ {op} times mathbf {C} to mathbf {Установить }}$.

В этом случае категория множеств полная, поэтому нам нужно только сформировать эквалайзер и в этом случае

${ Displaystyle int _ {c} mathrm {Hom} _ { mathbf {X}} (F (c), G (c)) = mathrm {Nat} (F, G)}$

естественные преобразования из ${ displaystyle F}$ к ${ displaystyle G}$. Интуитивно естественное преобразование из ${ displaystyle F}$ к ${ displaystyle G}$ это морфизм из ${ Displaystyle F (c)}$ к ${ Displaystyle G (c)}$ для каждого ${ displaystyle c}$ в категории с условиями совместимости. Глядя на диаграмму эквалайзера, определяющую конец, становится очевидным эквивалентность.

• Геометрические реализации:

Позволять ${ displaystyle T}$ быть симплициальный набор. То есть, ${ displaystyle T}$ является функтором ${ displaystyle Delta ^ { mathrm {op}} to mathbf {Set}}$. В дискретная топология дает функтор ${ displaystyle mathbf {Set} to mathbf {Top}}$, куда ${ displaystyle mathbf {Вверх}}$ категория топологических пространств. Кроме того, есть карта ${ displaystyle gamma: Delta to mathbf {Top}}$ отправка объекта ${ Displaystyle [п]}$ из ${ displaystyle Delta}$ к стандарту ${ displaystyle n}$-симплекс внутри ${ Displaystyle mathbb {R} ^ {п + 1}}$. Наконец, есть функтор ${ displaystyle mathbf {Top} times mathbf {Top} to mathbf {Top}}$ который берет произведение двух топологических пространств.

Определять ${ displaystyle S}$ быть композицией этого функтора продукта с ${ displaystyle T times gamma}$. В коенд из ${ displaystyle S}$ является геометрической реализацией ${ displaystyle T}$.

Рекомендации

• конец в nLab
• Лорегиан, Фоско (2015). «Это (со) конец, мой единственный (со) друг». arXiv:1501.02503 [math.CT].