A comparison of two topos-theoretic approaches to quantum theory

DOI10.1007/s00220-012-1652-3zbMath1298.81008arXiv1010.2031OpenAlexW2140140125MaRDI QIDQ1936655

Sander A. M. Wolters

Publication date: 6 February 2013

Published in: Communications in Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1010.2031

zbMATH Keywords

\(C^*\)-algebravon Neumann algebralocaleframestate spacecoarse grainingcontextualitycovariant approachspectral presheafbohrificationcontravariant approachdaseinisation

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Applications of operator algebras to the sciences (47L90) Yang-Mills and other gauge theories in quantum field theory (81T13) Applications of selfadjoint operator algebras to physics (46L60) General mathematical topics and methods in quantum theory (81Q99) Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (8)

Topos models for physics and topos theory ⋮ Topos quantum theory on quantization-induced sheaves ⋮ Topos quantum theory with short posets ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Topos quantum theory reduced by context-selection functors ⋮ Spectral presheaves as quantum state spaces ⋮ Topologies on quantum topoi induced by quantization ⋮ Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bohrification of operator algebras and quantum logic
• Intuitionistic quantum logic of an \(n\)-level system
• Topoi. The categorial analysis of logic. Rev. ed
• 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
• A sheaf model for intuitionistic quantum mechanics
• 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.
• Quantum logic in intuitionistic perspective
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• About Stone's notion of spectrum
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• Aspects of general topology in constructive set theory
• A globalisation of the Gelfand duality theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem
• THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
• Topos Methods in the Foundations of Physics
• Completely positive maps into corona algebras
• Integrals and valuations
• The Mackey-Gleason Problem for Vector Measures on Projections in Von Neumann Algebras
• 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
• The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice
• PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS
• Logic and structure

This page was built for publication: A comparison of two topos-theoretic approaches to quantum theory