Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories

DOI10.1007/s11083-011-9211-7zbMath1279.03082OpenAlexW2095892811MaRDI QIDQ1757867

Emil Daniel Schwab, Emil Schwab

Publication date: 7 November 2012

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-011-9211-7

zbMATH Keywords

quantum logicdagger kernel categoryinverse categoryBaer\(^\ast\)-semigroup

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Daggers, kernels, Baer *-semigroups, and orthomodularity
• A link between quantum logic and categorical quantum mechanics
• Quantum logic in dagger kernel categories
• Orthomodularity of decompositions in a categorical setting
• Relative inverses in Baer \({}^*\)-semigroups
• Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
• Baer ∗ -Semigroups

This page was built for publication: Quantum logic, dagger kernel categories and inverse Baer\(^\ast\)-categories