A link between quantum logic and categorical quantum mechanics

DOI10.1007/S10773-008-9853-4MaRDI QIDQ732298zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 18122 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• scientific article; zbMATH DE number 2216872 (Why is no real title available?)
• scientific article; zbMATH DE number 3186734 (Why is no real title available?)
• Abstract Physical Traces
• Algebra and Coalgebra in Computer Science
• Coherence for compact closed categories
• Decompositions in Quantum Logic
• Filters and supports in orthoalgebras
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Orthomodularity of decompositions in a categorical setting
• Parametrization of self-dual codes by orthogonal matrices
• Tensor Product of Difference Posets
• Tensor products of orthoalgebras

Cited in

(26)

• De-linearizing linearity: projective quantum axiomatics from strong compact closure
• \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Dynamics in the decompositions approach to quantum mechanics
• Orthomodular lattices, Foulis semigroups and dagger kernel categories
• Duality theory and categorical universal logic: with emphasis on quantum structures
• The logic of bundles
• Categories with fuzzy sets and relations
• Categorical Quantum Mechanics I: Causal Quantum Processes
• A Study of Entanglement in a Categorical Framework of Natural Language
• Compact Hausdorff spaces with relations and Gleason spaces
• Quantum axiomatics: topological and classical properties of state property systems
• The structure of partial isometrics
• Mixing categories and modal logics in the quantum setting
• Kindergarten quantum mechanics -- lecture notes
• Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories
• Quantum logic in dagger kernel categories
• On quantum vs. classical probability
• Daggers, kernels, Baer *-semigroups, and orthomodularity
• New directions in categorical logic, for classical, probabilistic and quantum logic
• Compositional quantum logic
• Classical logic and quantum logic with multiple and common lattice models
• A categorical quantum logic
• Wigner's theorem for an infinite set
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• Quantum categories for quantum logic
• Quantum logic in 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)