Unitary, Inner product, and Dagger categories
This article provides an alternate characterization of dagger categories, which are central to the study of categorical quantum mechanics, in terms of inner product categories. An inner product category is an "achiral involutive" category with an inner product combinator. Inner product categories are, in turn, precisely the same as unitary categories, which are a weaker form of dagger categories. In unitary categories, there is an isomorphism between an object and its dagger, instead of the identity function as in the case of dagger categories. Every unitary category is equipped with a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.27614
curl -X POST /api/v1/records/arxiv/2603.27614/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.27614/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'