Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions The n-Category Café, 29 Jan 2024 Guest post byMatthew di MeglioRecently, my PhD supervisor Chris Heunen and I uploaded apreprintto arXiv giving an axiomatic…