A categorial semantic representation of quantum event structures
From MaRDI portal
adjoint functorsBoolean algebrasGrothendieck toposKochen-Specker theoremquantum event structuresquantum truth valuesrealist accountsheavestopos subobject classifier
Categorical logic, topoi (03G30) Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50) General and philosophical questions in quantum theory (81P05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Contextuality in quantum theory (81P13)
Abstract: 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.
The authors 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 an appropriate tool for the definition of quantum truth-value assignments to propositions describing the behavior of quantum systems. They also compare their topos-theoretic representation scheme of quantum even algebras with other categorial and topos-theoretic approaches.
Recommendations
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- Quantum event structures from the perspective of Grothendieck topoi
- On the notion of truth in quantum mechanics: a category-theoretic standpoint
- Contextual semantics in quantum mechanics from a categorical point of view
- On quantum event structures. III: Object of truth values
Cites work
- ``What is a thing?: topos theory in the foundations of physics
- A globalisation of the Gelfand duality theorem
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
- Generalized topological covering systems on quantum events' structures
- scientific article; zbMATH DE number 5977109 (Why is no real title available?)
- scientific article; zbMATH DE number 5761737 (Why is no real title available?)
- scientific article; zbMATH DE number 192841 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 5593534 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- scientific article; zbMATH DE number 3109251 (Why is no real title available?)
- Noncommutativity as a colimit
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Sheaf-theoretic representation of quantum measure algebras
- Sheaves in geometry and logic: a first introduction to topos theory
- The sheaf-theoretic structure of non-locality and contextuality
- Topoi. The categorial analysis of logic. Rev. ed
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
Cited in
(17)- Contextual semantics in quantum mechanics from a categorical point of view
- On quantum event structures. III: Object of truth values
- Quantum event structures from the perspective of Grothendieck topoi
- The equiareal Archimedean synchronization method of the quantum symplectic phase space: I. Spinorial amplitudes, transition probability, and areal measure of time
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- Physical properties as modal operators in the topos approach to quantum mechanics
- On quantum event structures. I: The categorical scheme
- On quantum event structures. II: Interpretational aspects
- On the notion of truth in quantum mechanics: a category-theoretic standpoint
- Generalized topological covering systems on quantum events' structures
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics
- Sheaf-theoretic representation of quantum measure algebras
- A Study of Entanglement in a Categorical Framework of Natural Language
- Uncertainty relations and possible experience
- On the discrete Heisenberg group and commutative modular variables in quantum mechanics. I: The abelian symplectic shadow and integrality of area
- Contemporary perspectivism as a framework of scientific inquiry in quantum mechanics and beyond
This page was built for publication: A categorial semantic representation of quantum event structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q385635)
