Quantum logic in dagger kernel categories

DOI10.1007/S11083-010-9145-5zbMATH Open1230.03095arXiv0902.2355OpenAlexW1974089323MaRDI QIDQ981683FDOQ981683

Authors: Chris Heunen, Bart Jacobs 

Publication date: 2 July 2010

Published in: Order (Search for Journal in Brave)

Abstract: This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categorical/logical properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, and orthomodularity. For instance, the Sasaki hook and and-then connectives are obtained, as adjoints, via the existential-pullback adjunction between fibres.

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

Recommendations

• Quantum logic in dagger kernel categories
• Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories
• Orthomodular lattices, Foulis semigroups and dagger kernel categories
• A link between quantum logic and categorical quantum mechanics
• A categorical quantum logic

zbMATH Keywords

categorical logicquantum logicorthomodular latticedagger kernel category

Mathematics Subject Classification ID

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

Cites Work

• Categorical logic and type theory
• The theory of symmetry actions in quantum mechanics. With an application to the Galilei group
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Quantum logic in dagger kernel categories
• Title not available (Why is that?)
• Compactly accessible categories and quantum key distribution
• An embedding theorem for Hilbert categories
• Category Theory
• Algebraically compact functors
• Title not available (Why is that?)
• Orthomodularity of decompositions in a categorical setting
• Title not available (Why is that?)
• The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
• A categorical model for the geometry of interaction
• Quantifiers and orthomodular lattices
• A characterization of quantic quantifiers in orthomodular lattices
• Title not available (Why is that?)
• Sums and products of interval algebras
• AN ALGEBRA OF ADDITIVE RELATIONS
• Quantum logic as an implication algebra
• A characterization of nuclei in orthomodular and quantic lattices
• Korrespondenzen in abelschen Kategorien
• A Presentation of Quantum Logic Based on an and then Connective

Cited In (29)

• Orthomodular lattices, Foulis semigroups and dagger kernel categories
• Duality theory and categorical universal logic: with emphasis on quantum structures
• \(L\)-algebras and three main non-classical logics
• Quantum monadic algebras
• Natural language semantics in biproduct dagger categories
• Probabilistic systems coalgebraically: a survey
• The structure of partial isometrics
• Mixing categories and modal logics in the quantum setting
• A computer scientist’s reconstruction of quantum theory*
• A link between quantum logic and categorical quantum mechanics
• Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories
• Quantum logic in dagger kernel categories
• Complementarity in categorical quantum mechanics
• Pictures of complete positivity in arbitrary dimension
• Probabilities, distribution monads, and convex categories
• A categorical reconstruction of quantum theory
• Frobenius structures over Hilbert \(C^*\)-modules
• Moore-Penrose Dagger Categories
• Axioms for the category of Hilbert spaces and linear contractions
• On the Functor ℓ2
• Quotient-comprehension chains
• Duality for the logic of quantum actions
• Compositional quantum logic
• New directions in categorical logic, for classical, probabilistic and quantum logic
• A categorical quantum logic
• Title not available (Why is that?)
• Quantum categories for quantum logic
• Dagger categories of tame relations
• Quantum logic in dagger kernel categories

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

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