Topos quantum theory on quantization-induced sheaves
From MaRDI portal
Publication:2928096
Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum state spaces, operational and probabilistic concepts (81P16) General quantum mechanics and problems of quantization (81S99) Applications of selfadjoint operator algebras to physics (46L60)
Abstract: In this paper, we construct a sheaf-based topos quantum theory. It is well known that a topos quantum theory can be constructed on the topos of presheaves on the category of commutative von Neumann algebras of bounded operators on a Hilbert space. Also, it is already known that quantization naturally induces a Lawvere-Tierney topology on the presheaf topos. We show that a topos quantum theory akin to the presheaf-based one can be constructed on sheaves defined by the quantization-induced Lawvere-Tierney topology. That is, starting from the spectral sheaf as a state space of a given quantum system, we construct sheaf-based expressions of physical propositions and truth objects, and thereby give a method of truth-value assignment to the propositions. Furthermore, we clarify the relationship to the presheaf-based quantum theory. We give translation rules between the sheaf-based ingredients and the corresponding presheaf-based ones. The translation rules have `coarse-graining' effects on the spaces of the presheaf-based ingredients; a lot of different proposition presheaves, truth presheaves, and presheaf-based truth-values are translated to a proposition sheaf, a truth sheaf, and a sheaf-based truth-value, respectively. We examine the extent of the coarse-graining made by translation.
Recommendations
Cites work
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- A comparison of two topos-theoretic approaches to quantum theory
- A first course in topos quantum theory
- A topos for algebraic quantum theory
- A topos formulation of history quantum theory
- A topos foundation for theories of physics: I. Formal languages for physics
- A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
- A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
- A topos foundation for theories of physics: IV. Categories of systems
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Classical and quantum probabilities as truth values
- Group action in topos quantum physics
- Sheaves in geometry and logic: a first introduction to topos theory
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- Topologies on quantum topoi induced by quantization
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
- ``What is a thing?: topos theory in the foundations of physics
Cited in
(9)- Topologies on quantum topoi induced by quantization
- Quantum event structures from the perspective of Grothendieck topoi
- Microcosm to macrocosm via the notion of a sheaf (observers in terms of t-topos)
- Classical and quantum probabilities as truth values
- A first course in topos quantum theory
- Topos quantum theory with short posets
- Topos quantum theory reduced by context-selection functors
- A sheaf model for intuitionistic quantum mechanics
- Bohrification of local nets
This page was built for publication: Topos quantum theory on quantization-induced sheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2928096)
