Axioms for the category of Hilbert spaces [Mathematics]

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...

Source: Proceedings of the National Academy of Sciences - February 25, 2022 Category: Science Authors: Chris Heunen, Andre Kornell Tags: Mathematics Physical Sciences Source Type: research