Компактная закрытая категория
- Моноидальные замкнутые категории являются частным случаем симметричных автономных категорий.
- Компактные замкнутые категории являются симметричными автономными категориями.
- Примеры компактно замкнутых категорий включают категорию конечномерных векторных пространств и категорию конечномерных представлений группы.
- Симплексная категория может быть использована для построения примера несимметричной компактно замкнутой категории.
- Кинжально-симметричные моноидальные категории являются кинжально-компактными категориями.
- Жесткие категории являются моноидальными категориями, которые не являются симметричными, но подчиняются аксиомам двойственности.
Полный текст статьи: