Axioms for the category of Hilbert spaces and linear contractions
arXiv:2211.02688 · doi:10.1112/blms.13010
Abstract
The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity, or dimension.
arXiv comment17 pages; clarified proof of Lemma 20
References in corpus (6)
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- Quantum Logic in Dagger Kernel Categories
- Completeness of dagger-categories and the complex numbers
- With a Few Square Roots, Quantum Computing is as Easy as Π
- Sheaf representation of monoidal categories
- Universal Properties of Partial Quantum Maps