Axioms for the category of Hilbert spaces and linear contractions

DOI10.1112/blms.13010arXiv2211.02688MaRDI QIDQ6203678

Chris Heunen, Andre Kornell, Nesta van der Schaaf

Publication date: 6 April 2024

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.02688

Mathematics Subject Classification ID

Characterizations of Hilbert spaces (46C15) Embedding theorems, universal categories (18B15) Dagger categories, categorical quantum mechanics (18M40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
• Unitary operators in real von Neumann algebras
• Quantum logic in dagger kernel categories
• Coreflections in algebraic quantum logic
• Postulates for general quantum mechanics
• Sheaf representation of monoidal categories
• Completeness of †-categories and the complex numbers
• Towards a quantum programming language
• Interacting quantum observables: categorical algebra and diagrammatics
• Categories for Quantum Theory
• Reconstruction of Quantum Theory
• Categories and Sheaves
• On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space