A topos formulation of history quantum theory

DOI10.1063/1.3397703zbMath1310.81014arXiv0812.1290OpenAlexW2065556276MaRDI 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

General and philosophical questions in quantum theory (81P05) Categorical logic, topoi (03G30) Topoi (18B25) Stochastic mechanics (including stochastic electrodynamics) (81P20)

Related Items (6)

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

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

This page was built for publication: A topos formulation of history quantum theory