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

• Определение и примеры кинжальных категорий

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

• Замечательные морфизмы и рекомендации

  • Унитарные морфизмы — это морфизмы, для которых обратный морфизм равен морфизму. 
  • Самосопряженные морфизмы — это морфизмы, для которых обратный морфизм совпадает с самим морфизмом. 
  • В статье также упоминаются рекомендации по форматированию и использованию категорий кинжалов.