Axioms for the category of Hilbert spaces and linear contractions

DOI10.1112/BLMS.13010MaRDI QIDQ6203678zbMATH OpenFDO

Authors 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)

Copyright license Creative Commons Attribution 4.0 International

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)

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.

Recommendations

• Hilbert spaces and \(C^\ast\)-algebras are not finitely concrete
• Infinite-dimensional categorical quantum mechanics
• An embedding theorem for Hilbert categories

Cites work

• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3385869 (Why is no real title available?)
• scientific article; zbMATH DE number 3109251 (Why is no real title available?)
• Categories and Sheaves
• Categories for Quantum Theory
• Completeness of \(\dagger\)-categories and the complex numbers
• Coreflections in algebraic quantum logic
• Interacting quantum observables: categorical algebra and diagrammatics
• On Majorization, Factorization, and Range Inclusion of Operators on Hilbert Space
• Postulates for general quantum mechanics
• Quantum logic in dagger kernel categories
• Reconstruction of Quantum Theory
• Sheaf representation of monoidal categories
• Towards a quantum programming language
• Unitary operators in real von Neumann algebras
• Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)

This page was built for publication: Axioms for the category of Hilbert spaces and linear contractions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203678)