TY  - RPRT
TI  - Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
AU  - Matthew Di Meglio
AU  - Chris Heunen
PY  - 2025
DO  - 10.1007/s10485-025-09803-5
UR  - https://arxiv.org/abs/2401.06584
ID  - 2401.06584
ER  -