Quantum Logic in Dagger Kernel Categories

DOI10.1016/j.entcs.2011.01.024zbMath1347.03106OpenAlexW2094753813WikidataQ113318313 ScholiaQ113318313MaRDI QIDQ2825365

Chris Heunen, Bart Jacobs

Publication date: 7 October 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.01.024

zbMATH Keywords

quantum logiccategorical logicdagger kernel category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (3)

Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ Unnamed Item ⋮ Compact Hausdorff spaces with relations and Gleason spaces

Cites Work

• A categorical model for the geometry of interaction
• 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
• 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]
• Dagger Compact Closed Categories and Completely Positive Maps
• Compactly accessible categories and quantum key distribution
• A Presentation of Quantum Logic Based on an and then Connective
• AN ALGEBRA OF ADDITIVE RELATIONS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantum Logic in Dagger Kernel Categories