Автономная категория
- Автономная категория — моноидальная категория с дуальными объектами.
- Левая и правая автономные категории имеют каждый объект с левой и правой двойственностью.
- Жесткая категория является синонимом автономной категории.
- Симметричные моноидальные категории с левыми двойниками эквивалентны правым двойникам и называются компактными замкнутыми категориями.
- В категориальных грамматиках левосторонние и правосторонние жесткие категории часто называются предгруппами и используются в исчислении Ламбека.
- *-автономная категория и автономная разряд связаны, каждая автономная категория является *-автономной.
Полный текст статьи: