International Journal of Theoretical Physics

, Volume 45, Issue 6, pp 1079–1090 | Cite as

Orthomodularity of Decompositions in a Categorical Setting

  • John Harding


We provide a method to construct a type of orthomodular structure known as an orthoalgebra from the direct product decompositions of an object in a category that has finite products and whose ternary product diagrams give rise to certain pushouts. This generalizes a method to construct an orthomodular poset from the direct product decompositions of familiar mathematical structures such as non-empty sets, groups, and topological spaces, as well as a method to construct an orthomodular poset from the complementary pairs of elements of a bounded modular lattice.

Key Words

orthomodular poset orthoalgebra decomposition product category 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Abramsky, S. and Coecke, B. (2004). A categorical semantics of quantum protocols, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004, IEEE Computer Society, pp.415–425.Google Scholar
  2. Birkhoff, G. and von Neumann, J. (1936). The logic of quantum mechanics. Ann. Math. 37, 823–843.CrossRefGoogle Scholar
  3. Foulis, D. J., Greechie, R. J. and Ruttimann, G. T. (1992). Filters and supports on orthoalgebras. Internat. J. Theoret. Phys. 31, 789–807.zbMATHCrossRefADSMathSciNetGoogle Scholar
  4. Harding, J. (1996). Decompositions in quantum logic. Trans. Amer. Math. Soc. 348(5), 1839–1862.zbMATHCrossRefMathSciNetGoogle Scholar
  5. Harding, J. (1999). Axioms of an experimental system. Internat. J. Theoret. Phys. 38(6), 1643–1675.zbMATHCrossRefMathSciNetGoogle Scholar
  6. Isham, C. J. and Butterfield, J. (2000). Some possible roles for topos theory in quantum theory and quantum gravity, Found. Phys. 30(10), 1707–1735.CrossRefMathSciNetGoogle Scholar
  7. Kalmbach, G. (1983). Orthomodular Lattices, Academic Press.Google Scholar
  8. Mushtari, D. Kh. (1989). Projection logics in Banach spaces. Soviet Math. (Iz. VUZ) 33, 59–70.zbMATHMathSciNetGoogle Scholar
  9. Pták, P. and Pulmannová, S. (1991). Orthomodular Structures as Quantum Logics. Fundamental Theories of Physics, 44, Kluwer, Dordrecht.Google Scholar
  10. Wilce, A. (2000). Test Spaces and Orthoalgebras, Current Research in Operational Quantum Logic, Fund. Theories Phys. 111, Kluwer, Dordrecht 81–114.MathSciNetGoogle Scholar

Copyright information

© Springer Science + Business Media, Inc. 2006

Authors and Affiliations

  • John Harding
    • 1
  1. 1.New Mexico State UniversityLas CrucesNew Mexico

Personalised recommendations