@misc{indiciae5a861bd04244,
  title = {Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions},
  author = {Matthew Di Meglio and Chris Heunen},
  year = {2025},
  doi = {10.1007/s10485-025-09803-5},
  url = {https://arxiv.org/abs/2401.06584},
  note = {Source identifier: 2401.06584}
}