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, Contextuality and noncommutative geometry in quantum mechanics, A comparison of two topos-theoretic approaches to quantum theory, Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order, Negations and meets in topos quantum theory, Topos Quantum Logic and Mixed States, Classical and quantum probabilities as truth values, Topos quantum theory on quantization-induced sheaves, Topos quantum theory reduced by context-selection functors, Spectral presheaves as quantum state spaces, 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