A topos foundation for theories of physics: IV. Categories of systems
From MaRDI portal
Publication:5504929
DOI10.1063/1.2883826zbMath1152.81411arXivquant-ph/0703066OpenAlexW2143297830MaRDI QIDQ5504929
Chris J. Isham, Andreas Döring
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/0703066
General and philosophical questions in quantum theory (81P05) Topoi (18B25) Other applications of logic (03B80)
Related Items (23)
Topos models for physics and topos theory ⋮ Topos quantum theory on quantization-induced sheaves ⋮ Topos quantum theory reduced by context-selection functors ⋮ Gleason’s theorem for composite systems ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Spectral presheaves as quantum state spaces ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ Contextuality and noncommutative geometry in quantum mechanics ⋮ Automorphisms of order structures of abelian parts of operator algebras and their role in quantum theory ⋮ Group action in topos quantum physics ⋮ Topologies on quantum topoi induced by quantization ⋮ Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order ⋮ Isomorphisms of ordered structures of Abelian \(C^*\)-subalgebras of \(C^*\)-algebras ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Topos Quantum Logic and Mixed States ⋮ An abstract theory of physical measurements ⋮ Negations and meets in topos quantum theory ⋮ A topos for algebraic quantum theory ⋮ A topos formulation of history quantum theory ⋮ 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≽̱ ⋮ Classical and quantum probabilities as truth values
Cites Work
- Unnamed Item
- Topoi. The categorial analysis of logic. Rev. ed
- 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
- 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≽̱
This page was built for publication: A topos foundation for theories of physics: IV. Categories of systems
