Topos models for physics and topos theory
From MaRDI portal
Publication:3189927
DOI10.1063/1.4892100zbMath1297.81014arXiv1309.5640MaRDI QIDQ3189927
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
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