A link between quantum logic and categorical quantum mechanics

DOI10.1007/S10773-008-9853-4zbMATH Open1180.81006OpenAlexW2062251184MaRDI QIDQ732298FDOQ732298

John Harding

Publication date: 9 October 2009

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-008-9853-4

zbMATH Keywords

tensor productsquantum logicbiproductsdagger categoryorthomodularstrongly compact closed category

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) General mathematical topics and methods in quantum theory (81Q99) Quantum logic (03G12) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Clifford algebras, spinors (15A66) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract Physical Traces
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Tensor Product of Difference Posets
• Title not available (Why is that?)
• Coherence for compact closed categories
• Filters and supports in orthoalgebras
• Orthomodularity of decompositions in a categorical setting
• Decompositions in Quantum Logic
• Tensor products of orthoalgebras
• Title not available (Why is that?)
• Parametrization of self-dual codes by orthogonal matrices
• Title not available (Why is that?)
• Algebra and Coalgebra in Computer Science

Cited In (15)

• Dynamics in the decompositions approach to quantum mechanics
• The logic of bundles
• Categorical Quantum Mechanics I: Causal Quantum Processes
• A Study of Entanglement in a Categorical Framework of Natural Language
• Categories with fuzzy sets and relations
• Compact Hausdorff spaces with relations and Gleason spaces
• Quantum axiomatics: topological and classical properties of state property systems
• Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories
• Compositional Quantum Logic
• On quantum vs. classical probability
• Daggers, kernels, Baer *-semigroups, and orthomodularity
• A categorical quantum logic
• Classical logic and quantum logic with multiple and common lattice models
• Wigner's theorem for an infinite set
• Title not available (Why is that?)

   Recommendations

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

This page was built for publication: A link between quantum logic and categorical quantum mechanics

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