Quantum logic in dagger kernel categories
From MaRDI portal
Publication:981683
DOI10.1007/s11083-010-9145-5zbMath1230.03095arXiv0902.2355OpenAlexW1974089323MaRDI QIDQ981683
Publication date: 2 July 2010
Published in: Order (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0902.2355
Related Items (17)
A Categorical Reconstruction of Quantum Theory ⋮ Natural language semantics in biproduct dagger categories ⋮ \(L\)-algebras and three main non-classical logics ⋮ Pictures of complete positivity in arbitrary dimension ⋮ Frobenius structures over Hilbert \(C^*\)-modules ⋮ Dagger categories of tame relations ⋮ Complementarity in categorical quantum mechanics ⋮ Moore-Penrose Dagger Categories ⋮ Axioms for the category of Hilbert spaces and linear contractions ⋮ Probabilistic systems coalgebraically: a survey ⋮ Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories ⋮ Compositional Quantum Logic ⋮ On the Functor ℓ2 ⋮ Probabilities, distribution monads, and convex categories ⋮ Quantum logic in dagger kernel categories ⋮ A computer scientist’s reconstruction of quantum theory* ⋮ Quantum monadic algebras
Cites Work
- A categorical model for the geometry of interaction
- Quantum logic in dagger kernel categories
- Korrespondenzen in abelschen Kategorien
- A characterization of nuclei in orthomodular and quantic lattices
- Algebraically compact functors
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Categorical logic and type theory
- Sums and products of interval algebras
- The theory of symmetry actions in quantum mechanics. With an application to the Galilei group
- The Sasaki hook is not a [static implicative connective but induces a backward [in time] dynamic one that assigns causes]
- Orthomodularity of decompositions in a categorical setting
- Quantifiers and orthomodular lattices
- Compactly accessible categories and quantum key distribution
- An embedding theorem for Hilbert categories
- A Presentation of Quantum Logic Based on an and then Connective
- Category Theory
- Quantum logic as an implication algebra
- AN ALGEBRA OF ADDITIVE RELATIONS
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Quantum logic in dagger kernel categories