Компактная закрытая категория - Compact closed category

В теория категорий, филиал математика, компактные закрытые категории являются общим контекстом для лечения двойные объекты. Идея двойного объекта обобщает более знакомую концепцию двойной из конечномерный векторное пространство. Итак, мотивирующим примером компактной закрытой категории является FdVect, то категория имеющий конечномерные векторные пространства как объекты и линейные карты в качестве морфизмы, с тензорное произведение как моноидальный структура. Другой пример Rel, категория, имеющая наборы как объекты и связи как морфизмы, с Декартова моноидальная структура.

Симметричная компактная замкнутая категория

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

Немного подробнее, объект называется двойной из если он снабжен двумя морфизмами, называемыми единица измерения и графство , удовлетворяющие уравнениям

и

куда - ввод блока слева и справа соответственно, и является ассоциатором.

Для наглядности перепишем приведенные выше композиции схематично. Для того чтобы чтобы быть компактно замкнутыми, нам нужны следующие композиты, равные :

и :

Определение

В более общем плане предположим это моноидальная категория, не обязательно симметричный, например, в случае предгрупповая грамматика. Приведенное выше понятие наличия двойного для каждого объекта А заменяется наличием как левого, так и правого прилегающий, и , с соответствующей левой единицей , правый блок , левая сторона , и правая сторона . Они должны удовлетворить четыре условия рывка, каждая из которых является идентичностью:

и

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

Несимметричные компактные замкнутые категории находят применение в лингвистика, в районе категориальные грамматики и особенно в предгрупповые грамматики, где различные левые и правые сопряжения требуются для определения порядка слов в предложениях. В этом контексте компактные замкнутые моноидальные категории называются (Ламбек ) предварительные группы.

Характеристики

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

Компактные закрытые категории - это как раз симметричный автономные категории. Они также * -автономный.

Каждая компактная закрытая категория C признает след. А именно для каждого морфизма , можно определить

что можно показать как правильный след. Это помогает нарисовать это схематично:

Примеры

Канонический пример - категория FdVect с конечномерными векторные пространства как объекты и линейные карты как морфизмы. Здесь является обычным двойником векторного пространства .

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

Категория Vect, с все векторные пространства как объекты и линейные отображения как морфизмы не компактно замкнуты; он симметрично моноидально замкнутый.

Категория симплекс

В категория симплекс можно использовать для построения примера несимметричной компактной замкнутой категории. В категория симплекс это категория ненулевых конечные ординалы (рассматривается как полностью упорядоченные наборы ); его морфизмы сохраняют порядок (монотонный ) карты. Мы превращаем его в моноидальную категорию, перейдя к категория стрелки, поэтому объекты являются морфизмами исходной категории, а морфизмы коммутирующие площади. Тогда тензорное произведение категории стрелки является исходным оператором композиции. Левый и правый сопряженные элементы - это операторы min и max; в частности, для монотонной карты ж один имеет право сопрягать

и левый прилегающий

Левая и правая части и счетчики:

Тогда одно из условий дергания:

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

Кинжал компактной категории

А кинжал симметричная моноидальная категория который компактно замкнут, является кинжал компактная категория.

Жесткая категория

Моноидальная категория, которая не является симметричной, но в остальном подчиняется аксиомам двойственности, приведенным выше, известна как жесткая категория. Моноидальная категория, в которой каждый объект имеет двойственную левую (или правую) категорию, также иногда называется оставили (соответственно справа) автономный категория. Моноидальная категория, в которой каждый объект имеет как левую, так и правую двойственность, иногда называется автономная категория. Автономная категория, которая также симметричный тогда является компактной замкнутой категорией.

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

Келли, Г.; Лаплаза, М. (1980). «Согласованность для компактных закрытых категорий». Журнал чистой и прикладной алгебры. 19: 193–213. Дои:10.1016/0022-4049(80)90101-2.