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