A topos foundation for theories of physics: I. Formal languages for physics

DOI10.1063/1.2883740zbMath1152.81408arXivquant-ph/0703060OpenAlexW2109612430MaRDI QIDQ5504926

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/0703060

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Topoi (18B25) Other applications of logic (03B80)

Related Items (34)

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 ⋮ The geometric semantics of algebraic quantum mechanics ⋮ Spectral presheaves as quantum state spaces ⋮ Functorial differential spaces and the infinitesimal structure of space-time ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics ⋮ Contextuality and noncommutative geometry in quantum mechanics ⋮ Why Categories? ⋮ Category Theory and Philosophy ⋮ Are There Category-Theoretical Explanations of Physical Phenomena? ⋮ Group action in topos quantum physics ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ Problem of time in quantum gravity ⋮ SPINOR GEOMETRY ⋮ Topologies on quantum topoi induced by quantization ⋮ Uncertainty relations and possible experience ⋮ Orthogonal measures on state spaces and context structure of quantum theory ⋮ Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order ⋮ Abduction: a categorical characterization ⋮ Functorial data migration ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ The paradox of phase transitions in the light of constructive mathematics ⋮ Topos Quantum Logic and Mixed States ⋮ 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: 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 ⋮ Classical and quantum probabilities as truth values

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic. Rev. ed
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Topos theory and consistent histories: The internal logic of the set of all consistent sets
• 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: 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

This page was built for publication: A topos foundation for theories of physics: I. Formal languages for physics