Topos quantum theory reduced by context-selection functors
From MaRDI portal
contextGrothendieck topologymeasures on sheafspresheafquantum probabilitiesquantum theorysheaftoposvon Neumann algebra
Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) General and philosophical questions in quantum theory (81P05) Contextuality in quantum theory (81P13) Quantum measurement theory, state operations, state preparations (81P15)
Abstract: In this paper, we deal with quantum theories on presheaves and sheaves on context categories consisting of commutative von Neumann algebras of bounded operators on a Hilbert space, from two viewpoints. One is to reduce presheaf-based topos quantum theory via sheafification, and the other is to import quantum probabilities to the reduced sheaf quantum theory. The first is done by means of a functor that selects some expedient contexts. It defines a Grothendieck topology on the category consisting of all contexts, hence, induces a sheaf topos on which we construct a downsized quantum theory. Also, we show that the sheaf quantum theory can be replaced by an equivalent, more manageable presheaf quantum theory. Quantum probabilities are imported by means of a Grothendieck topology that is defined on a category consisting of probabilities and enables to regard them as intuitionistic truth-values. From these topologies, we construct another Grothendieck topology that is defined on the product of the context category and the probability category and reflects the selection of contexts and the identification of probabilities with truth-values. We construct a quantum theory equipped with quantum probabilities as truth-values on the sheaf topos induced by the Grothendieck topology.
Recommendations
Cites work
- ``What is a thing?: topos theory in the foundations of physics
- 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
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 3251317 (Why is no real title available?)
- 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 quantum theory on quantization-induced sheaves
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
Cited in
(7)- A first course in topos quantum theory
- Topos quantum theory with short posets
- Classical and quantum probabilities as truth values
- Topos quantum theory on quantization-induced sheaves
- scientific article; zbMATH DE number 1984276 (Why is no real title available?)
- A topos perspective on state-vector reduction
- A topos perspective on state-vector reduction
This page was built for publication: Topos quantum theory reduced by context-selection functors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2951741)
