Категория кинжалов

Определение и примеры кинжальных категорий
- Кинжальная категория – это категория с инволюцией, где морфизмы упорядочены и порядок совместим с композицией.
- Примеры включают Rel множеств и отношений, Cob кобордизмов, Гильб гильбертовых пространств и моноиды с инволюцией.
Замечательные морфизмы и рекомендации
- Унитарные морфизмы – это морфизмы, для которых обратный морфизм равен морфизму.
- Самосопряженные морфизмы – это морфизмы, для которых обратный морфизм совпадает с самим морфизмом.
- В статье также упоминаются рекомендации по форматированию и использованию категорий кинжалов.

Полный текст статьи:

Категория кинжалов — Википедия