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

DOI10.1063/1.2883740zbMath1152.81408arXivquant-ph/0703060MaRDI 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

81P05: General and philosophical questions in quantum theory

18B25: Topoi

03B80: Other applications of logic

Related Items

Problem of time in quantum gravity, SPINOR GEOMETRY, 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, Functorial data migration, Intuitionistic quantum logic of an \(n\)-level system, A topos for algebraic quantum theory, A comparison of two topos-theoretic approaches to quantum theory

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