A Categorial Semantic Representation of Quantum Event Structures

Foundations of Physics 43 (9):1090-1123 (2013)
  Copy   BIBTEX


The overwhelming majority of the attempts in exploring the problems related to quantum logical structures and their interpretation have been based on an underlying set-theoretic syntactic language. We propose a transition in the involved syntactic language to tackle these problems from the set-theoretic to the category-theoretic mode, together with a study of the consequent semantic transition in the logical interpretation of quantum event structures. In the present work, this is realized by representing categorically the global structure of a quantum algebra of events (or propositions) in terms of sheaves of local Boolean frames forming Boolean localization functors. The category of sheaves is a topos providing the possibility of applying the powerful logical classification methodology of topos theory with reference to the quantum world. In particular, we show that the topos-theoretic representation scheme of quantum event algebras by means of Boolean localization functors incorporates an object of truth values, which constitutes the appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. Effectively, this scheme induces a revised realist account of truth in the quantum domain of discourse. We also include an Appendix, where we compare our topos-theoretic representation scheme of quantum event algebras with other categorial and topos-theoretic approaches



    Upload a copy of this work     Papers currently archived: 83,878

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Quantum Disjunctive Facts.James H. McGrath - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:76 - 86.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
Correlations, Contextuality and Quantum Logic.Allen Stairs & Jeffrey Bub - 2013 - Journal of Philosophical Logic 42 (3):483-499.


Added to PP

98 (#143,203)

6 months
4 (#198,578)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Category Theory.S. Awodey - 2007 - Bulletin of Symbolic Logic 13 (3):371-372.
Topoi: The Categorial Analysis of Logic.R. I. Goldblatt - 1982 - British Journal for the Philosophy of Science 33 (1):95-97.
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
Category Theory.Steve Awodey - 2006 - Oxford, England: Oxford University Press.

View all 14 references / Add more references