Topos quantum theory reduced by context-selection functors
DOI10.1063/1.4972215zbMath1358.81009arXiv1507.06196OpenAlexW3101615545MaRDI QIDQ2951741
Publication date: 9 January 2017
Published in: Journal of Mathematical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1507.06196
quantum theoryvon Neumann algebratoposcontextpresheafquantum probabilitiesGrothendieck topologysheafmeasures on sheafs
General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10) Contextuality in quantum theory (81P13)
Cites Work
- Unnamed Item
- Unnamed Item
- A topos for algebraic quantum theory
- Sheaves in geometry and logic: a first introduction to topos theory
- Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
- Topos theory and consistent histories: The internal logic of the set of all consistent sets
- Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- A first course in topos quantum theory
- A comparison of two topos-theoretic approaches to quantum theory
- Classical and quantum probabilities as truth values
- Topos quantum theory on quantization-induced sheaves
- “What is a Thing?”: Topos Theory in the Foundations of Physics
- THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
- A topos formulation of history quantum theory
- Group action in topos quantum physics
- Topologies on quantum topoi induced by quantization
- 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
This page was built for publication: Topos quantum theory reduced by context-selection functors