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

Категории кинжала — это категории , снабженные инволютивным контравариантным функтором тождества на объекте, называемым кинжалом и обозначаемым как ${\displaystyle \dagger }$. Особый интерес представляют компактные категории кинжала (особая форма категорий кинжала ), разработанные с целью переосмысления квантовомеханического формализма и потока квантовой информации в контексте теории категорий (ср. категориальную квантовую механику и категориальные квантовые вычисления ).

Ниже приведены страницы, посвященные этой теме, на стыке квантовой механики и квантовых вычислений с основным акцентом на теории категорий .