A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
From MaRDI portal
Publication:5504928
DOI10.1063/1.2883777zbMath1152.81410arXivquant-ph/0703064MaRDI QIDQ5504928
Andreas Döring, Chris J. Isham
Publication date: 23 January 2009
Published in: Journal of Mathematical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/0703064
81P05: General and philosophical questions in quantum theory
18B25: Topoi
03B80: Other applications of logic
Related Items
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: IV. Categories of systems, Intuitionistic quantum logic of an \(n\)-level system, A topos for algebraic quantum theory, A comparison of two topos-theoretic approaches to quantum theory, Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order, Classical and quantum probabilities as truth values, Topos quantum theory on quantization-induced sheaves, Topos models for physics and topos theory
Cites Work
- 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 perspective on the Kochen--Specker theorem. IV: Interval valuations
- A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- Kochen-Specker theorem for 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: IV. Categories of systems
