TY  - RPRT
TI  - Axioms for the category of Hilbert spaces and linear contractions
AU  - Chris Heunen
AU  - Andre Kornell
AU  - Nesta van der Schaaf
PY  - 2025
DO  - 10.1112/blms.13010
UR  - https://arxiv.org/abs/2211.02688
ID  - 2211.02688
ER  -