A categorial semantic representation of quantum event structures
From MaRDI portal
adjoint functorssheavesGrothendieck toposBoolean algebrasKochen-Specker theoremquantum event structuresquantum truth valuesrealist accounttopos subobject classifier
General and philosophical questions in quantum theory (81P05) Contextuality in quantum theory (81P13) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Category-theoretic methods and results in associative algebras (except as in 16D90) (16B50)
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.
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
- 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?)
- 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
- 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
- ``What is a thing?: topos theory in the foundations of physics
Cited in
(16)- Physical properties as modal operators in the topos approach to quantum mechanics
- Quantum event structures from the perspective of Grothendieck topoi
- Contextual semantics in quantum mechanics from a categorical point of view
- On the notion of truth in quantum mechanics: a category-theoretic standpoint
- A Study of Entanglement in a Categorical Framework of Natural Language
- The equiareal Archimedean synchronization method of the quantum symplectic phase space: I. Spinorial amplitudes, transition probability, and areal measure of time
- On the discrete Heisenberg group and commutative modular variables in quantum mechanics. I: The abelian symplectic shadow and integrality of area
- On quantum event structures. III: Object of truth values
- On quantum event structures. II: Interpretational aspects
- On quantum event structures. I: The categorical scheme
- Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics
- Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
- TOPOS-THEORETIC CLASSIFICATION OF QUANTUM EVENTS STRUCTURES IN TERMS OF BOOLEAN REFERENCE FRAMES
- Generalized topological covering systems on quantum events' structures
- Sheaf-theoretic representation of quantum measure algebras
- Uncertainty relations and possible experience
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)
