Topos models for physics and topos theory

DOI10.1063/1.4892100zbMath1297.81014arXiv1309.5640MaRDI QIDQ3189927

Sander A. M. Wolters

Publication date: 12 September 2014

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

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

Mathematics Subject Classification ID

81P05: General and philosophical questions in quantum theory

03G30: Categorical logic, topoi

06D20: Heyting algebras (lattice-theoretic aspects)

18B25: Topoi

18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

Related Items

Spectral order isomorphisms and AW$AW$*‐factors, Isomorphisms of spectral lattices, Multidimensional spectral order for selfadjoint operators, Vigier's theorem for the spectral order and its applications

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic quantum logic of an \(n\)-level system
• Topoi. The categorial analysis of logic. Rev. ed
• A topos for algebraic quantum theory
• The World's simplest axiom of choice fails
• Sheaves in geometry and logic: a first introduction to topos theory
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• The generally covariant locality principle -- a new paradigm for local quantum field theory
• 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
• About Stone's notion of spectrum
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• The space of measurement outcomes as a spectral invariant for non-commutative algebras
• A comparison of two topos-theoretic approaches to quantum theory
• A globalisation of the Gelfand duality theorem
• Classical and quantum probabilities as truth values
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Topos Methods in the Foundations of Physics
• A localic theory of lower and upper integrals
• 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