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.
Recommendations
Cites work
- scientific article; zbMATH DE number 3904807 (Why is no real title available?)
- scientific article; zbMATH DE number 4070975 (Why is no real title available?)
- scientific article; zbMATH DE number 3521027 (Why is no real title available?)
- scientific article; zbMATH DE number 3590457 (Why is no real title available?)
- scientific article; zbMATH DE number 1024338 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- A Presentation of Quantum Logic Based on an and then Connective
- A categorical model for the geometry of interaction
- A characterization of nuclei in orthomodular and quantic lattices
- A characterization of quantic quantifiers in orthomodular lattices
- AN ALGEBRA OF ADDITIVE RELATIONS
- Algebraically compact functors
- An embedding theorem for Hilbert categories
- Categorical logic and type theory
- Category Theory
- Compactly accessible categories and quantum key distribution
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Korrespondenzen in abelschen Kategorien
- Orthomodularity of decompositions in a categorical setting
- Quantifiers and orthomodular lattices
- Quantum logic as an implication algebra
- Quantum logic in dagger kernel categories
- Sums and products of interval algebras
- The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
- The theory of symmetry actions in quantum mechanics. With an application to the Galilei group
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
- Natural language semantics in biproduct dagger categories
- Quantum monadic algebras
- Probabilistic systems coalgebraically: a survey
- The structure of partial isometrics
- Mixing categories and modal logics in the quantum setting
- A link between quantum logic and categorical quantum mechanics
- A computer scientist’s reconstruction of quantum theory*
- 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
- Duality for the logic of quantum actions
- Quotient-comprehension chains
- New directions in categorical logic, for classical, probabilistic and quantum logic
- Compositional quantum logic
- A categorical quantum logic
- scientific article; zbMATH DE number 7471668 (Why is no real title available?)
- 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)
