Axioms for the category of Hilbert spaces
Category Theory
2022-06-08 v3 Quantum Physics
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 programmes such as those of von Neumann, Mackey, Jauch, Piron, Abramsky, and Coecke.
Keywords
Cite
@article{arxiv.2109.07418,
title = {Axioms for the category of Hilbert spaces},
author = {Chris Heunen and Andre Kornell},
journal= {arXiv preprint arXiv:2109.07418},
year = {2022}
}
Comments
11 pages