A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory

DOI10.1063/1.2883742zbMath1152.81409arXivquant-ph/0703062OpenAlexW2041041938MaRDI QIDQ5504927

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

Mathematics Subject Classification ID

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

Related Items

Topos models for physics and topos theory, Topos quantum theory on quantization-induced sheaves, Bohrification of operator algebras and quantum logic, 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, Semilattices global valuations in the topos approach to quantum mechanics, Contextuality and noncommutative geometry in quantum mechanics, The sheaf-theoretic structure of non-locality and contextuality, Category Theory and Philosophy, Group action in topos quantum physics, Topologies on quantum topoi induced by quantization, Orthogonal measures on state spaces and context structure of quantum theory, Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order, Intuitionistic quantum logic of an \(n\)-level system, 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: I. Formal languages for physics, 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, Physical properties as modal operators in the topos approach to quantum mechanics

Cites Work

• 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 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
• Affine histories in quantum gravity: introduction and the representation for a cosmological model
• A topos foundation for theories of physics: I. Formal languages for physics
• 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