A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
arXiv:quant-ph/0703062 · doi:10.1063/1.2883742
Abstract
This paper is the second in a series whose goal is to develop a fundamentally new way of constructing theories of physics. The motivation comes from a desire to address certain deep issues that arise when contemplating quantum theories of space and time. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a certain formal language that is attached to the system. Classical physics arises when the topos is the category of sets. Other types of theory employ a different topos. In this paper, we study in depth the topos representation of the propositional language, PL(S), for the case of quantum theory. In doing so, we make a direct link with, and clarify, the earlier work on applying topos theory to quantum physics. The key step is a process we term `daseinisation' by which a projection operator is mapped to a sub-object of the spectral presheaf--the topos quantum analogue of a classical state space. In the second part of the paper we change gear with the introduction of the more sophisticated local language L(S). From this point forward, throughout the rest of the series of papers, our attention will be devoted almost entirely to this language. In the present paper, we use L(S) to study `truth objects' in the topos. These are objects in the topos that play the role of states: a necessary development as the spectral presheaf has no global elements, and hence there are no microstates in the sense of classical physics. Truth objects therefore play a crucial role in our formalism.
arXiv comment34 pages, no figures
References in corpus (7)
- A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
- A Topos Foundation for Theories of Physics: IV. Categories of Systems
- A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
- Kochen-Specker theorem for von Neumann algebras
- On a canonical lattice structure on the effect algebra of a von Neumann algebra
- Observables I: Stone Spectra
- Affine Histories in Quantum Gravity: Introduction and the Representation for a Cosmological Model
Cited by in corpus (53)
- A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
- `What is a Thing?': Topos Theory in the Foundations of Physics
- A Topos Foundation for Theories of Physics: IV. Categories of Systems
- A topos for algebraic quantum theory
- A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
- Intuitionistic quantum logic of an n-level system
- Abelian subalgebras and the Jordan structure of a von Neumann algebra
- Bohrification of operator algebras and quantum logic
- Topos theory and `neo-realist' quantum theory
- Approaching the Problem of Time with a Combined Semiclassical-Records-Histories Scheme
- Classical and Quantum Probabilities as Truth Values
- Quantum Measure Theory: A New Interpretation
- Quantum Mechanics from Focusing and Symmetry
- Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems
- Exotic smooth R^4, noncommutative algebras and quantization
- Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras
- Lower and upper probabilities in the distributive lattice of subsystems
- Self-adjoint Operators as Functions II: Quantum Probability
- A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
- Contextuality and noncommutative geometry in quantum mechanics
- Topos Analogues of the KMS State
- A Topos Formulation of Consistent Histories
- Topos Models for Physics and Topos Theory
- Topos Quantum Logic and Mixed States
- Independence Conditions for Nets of Local Algebras as Sheaf Conditions
- Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order
- Group Action in Topos Quantum Physics
- Complex Numbers, One-Parameter of Unitary Transformations and Stone's Theorem in Topos Quantum Theory
- Sheaf-Theoretic Methods in Quantum Mechanics and Quantum Information Theory
- Lectures on Topos Quantum Theory
- Bohrification of local nets
- Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics
- A Topos Theoretic Notion of Entropy
- Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
- Coevents as Beables
- Pati-Salam model in curved space-time from square root Lorentz manifold
- On the geometry of physical measurements: topological and algebraic aspects
- Topos-Theoretic Approaches to Quantum Theory
- Negations and Meets in Topos Quantum Theory
- A Topos Model for Loop Quantum Gravity
- Topos Quantum Theory on Quantization-Induced Sheaves
- Physical properties as modal operators in the topos approach to quantum mechanics
- Superlogic Manifolds and Geometric approach to Quantum Logic
- General Formulation of Topos Many-Node Theory
- Quantum mechanics in a metric sheaf: a model theoretic approach
- The Entropic Dynamics of Relativistic Quantum Fields in Curved Space-time
- Topos Quantum Theory Reduced by Context-Selection Functors
- Minimax context principle
- A mathematical perspective on the phenomenology of non-perturbative Quantum Field Theory
- Consistent Histories as Valuations
- Quantifying daseinisation using Shannon entropy
- Higher Theory and the Three Problems of Physics
- Observer Dependence in Consistent Histories and General Relativity