A topos formulation of history quantum theory

DOI10.1063/1.3397703zbMath1310.81014arXiv0812.1290MaRDI QIDQ5249565

Cecilia Flori

Publication date: 6 May 2015

Published in: Journal of Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0812.1290

Mathematics Subject Classification ID

81P05: General and philosophical questions in quantum theory

03G30: Categorical logic, topoi

18B25: Topoi

81P20: Stochastic mechanics (including stochastic electrodynamics)

Related Items

Problem of time in quantum gravity, Group action in topos quantum physics, Topologies on quantum topoi induced by quantization, The \(L\)-fuzzy cover spaces and \(L\)-fuzzy compact open topology, Topos quantum theory on quantization-induced sheaves, Topos quantum theory reduced by context-selection functors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topoi. The categorial analysis of logic. Rev. ed
• Consistent histories and the interpretation of quantum mechanics
• Logical reformulation of quantum mechanics. I: Foundations
• Logical foundation of quantum mechanics
• Time dependent propositions and quantum logic
• 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.
• On the consistent histories approach to quantum mechanics.
• Quantum logic and decoherence
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Continuous time and consistent histories
• Quantum logic and the histories approach to quantum theory
• Quantum temporal logic and decoherence functionals in the histories approach to generalized quantum theory
• Histories quantization of parameterized systems: I. Development of a general algorithm
• Lectures on 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≽̱
• A topos foundation for theories of physics: IV. Categories of systems