Unitary, Inner product, and Dagger categories
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915897432604672 |
|---|---|
| author | Cockett, Robin Kumar, Durgesh Srinivasan, Priyaa Varshinee |
| author_facet | Cockett, Robin Kumar, Durgesh Srinivasan, Priyaa Varshinee |
| contents | 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 global inner product structure, which allows one to strictify the involutive structure on the unitary category to obtain a dagger category, making unitary categories 2-categorically equivalent to dagger categories.
By regarding the inner product as an abstract metric on an (achiral) involutive category, one can define metric-preserving maps (isometries) in inner product categories, and also develop other notions of special maps -- unitary, Hermitian, positive, and normal maps -- in this setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_27614 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Unitary, Inner product, and Dagger categories Cockett, Robin Kumar, Durgesh Srinivasan, Priyaa Varshinee Category Theory 18D99 F.4.1 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 global inner product structure, which allows one to strictify the involutive structure on the unitary category to obtain a dagger category, making unitary categories 2-categorically equivalent to dagger categories. By regarding the inner product as an abstract metric on an (achiral) involutive category, one can define metric-preserving maps (isometries) in inner product categories, and also develop other notions of special maps -- unitary, Hermitian, positive, and normal maps -- in this setting. |
| title | Unitary, Inner product, and Dagger categories |
| topic | Category Theory 18D99 F.4.1 |
| url | https://arxiv.org/abs/2603.27614 |