Quantum Logic in Dagger Kernel Categories

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.

35 pages

References in corpus (2)

• A presentation of Quantum Logic based on an "and then" connective
• Quantifiers for quantum logic

Cited by in corpus (21)

• Pictures of complete positivity in arbitrary dimension
• An effect-theoretic reconstruction of quantum theory
• The many classical faces of quantum structures
• Quantization via Linear homotopy types
• On the functor l^2
• Frobenius structures over Hilbert C*-modules
• Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures
• Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
• Limits in dagger categories
• A computer scientist's reconstruction of quantum theory
• Compositional Quantum Logic
• Axioms for the category of Hilbert spaces and linear contractions
• Complementarity in categorical quantum mechanics
• Effectuses in Categorical Quantum Foundations
• Dagger Categories of Tame Relations
• Quantum monadic algebras
• Duality for Convexity
• Sufficient Statistics and Split Idempotents in Discrete Probability Theory
• Axioms for the category of Hilbert spaces
• Monads on dagger categories
• Quantum Theory from Principles, Quantum Software from Diagrams