Axioms for the category of Hilbert spaces.
Where this comes from
- Record sourced from PubMed, PMID 35217613.
- Also identified by DOI 10.1073/pnas.2117024119 and PMC identifier 8892366.
- No licence information is recorded for this record.
- Because redistribution is not established, this page shows the abstract only. Follow the links below for the full text.
Abstract
We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the mathematical foundations of quantum theory raised in reconstruction programs such as those of von Neumann, Mackey, Jauch, Piron, Abramsky, and Coecke.