TY  - RPRT
TI  - Axiomatising the dagger category of complex Hilbert spaces
AU  - Jan Paseka
AU  - Thomas Vetterlein
PY  - 2025
UR  - https://arxiv.org/abs/2511.15410
ID  - 2511.15410
ER  -