Quantum logic in dagger kernel categories

DOI10.1007/S11083-010-9145-5zbMath1230.03095arXiv0902.2355OpenAlexW1974089323MaRDI QIDQ981683

Bart Jacobs, Chris Heunen

Publication date: 2 July 2010

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0902.2355

zbMATH Keywords

orthomodular latticequantum logiccategorical logicdagger kernel category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Quantum logic (03G12)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Quantum logic in dagger kernel categories