An embedding theorem for Hilbert categories
From MaRDI portal
Abstract: We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal unit is a simple generator embeds (weakly) monoidally into the category of pre-Hilbert spaces and adjointable maps, preserving adjoint morphisms and all finite (co)limits. An intermediate result that is important in its own right is that the scalars in such a category necessarily form an involutive field. In case of a Hilbert category, the embedding extends to the category of Hilbert spaces and continuous linear maps. The axioms for (pre-)Hilbert categories are weaker than the axioms found in other approaches to axiomatizing 2-Hilbert spaces. Neither enrichment nor a complex base field is presupposed. A comparison to other approaches will be made in the introduction.
Recommendations
Cited in
(18)- Higher-dimensional algebra. II: 2-Hilbert spaces
- Frobenius structures over Hilbert C^*-modules
- Correspondence principle as equivalence of categories
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices
- Tensor topology
- Sheaf representation of monoidal categories
- Pictures of complete positivity in arbitrary dimension
- On the Functor ℓ2
- A categorical reconstruction of quantum theory
- Barr's embedding theorem for enriched categories
- Probabilities, distribution monads, and convex categories
- A computer scientist’s reconstruction of quantum theory*
- Reversible monadic computing
- Morita isomorphism for Cuntz algebras
- Axioms for the category of Hilbert spaces and linear contractions
- Probabilistic systems coalgebraically: a survey
- Dagger categories and the complex numbers: axioms for the category of finite-dimensional Hilbert spaces and linear contractions
- Quantum logic in dagger kernel categories
This page was built for publication: An embedding theorem for Hilbert categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3646426)
