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