A Topos Foundation for Theories of Physics: IV. Categories of Systems
arXiv:quant-ph/0703066 · doi:10.1063/1.2883826
Abstract
This paper is the fourth in a series whose goal is to develop a fundamentally new way of building theories of physics. The motivation comes from a desire to address certain deep issues that arise in the quantum theory of gravity. 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. The previous papers in this series are concerned with implementing this programme for a single system. In the present paper, we turn to considering a collection of systems: in particular, we are interested in the relation between the topos representation for a composite system, and the representations for its constituents. We also study this problem for the disjoint sum of two systems. Our approach to these matters is to construct a category of systems and to find a topos representation of the entire category.
38 pages, no figures
References in corpus (3)
Cited by in corpus (23)
- 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 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
- Quantum Measure Theory: A New Interpretation
- Exotic smooth R^4, noncommutative algebras and quantization
- A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
- Categorical Semantics for Schrödinger's Equation
- Topos Analogues of the KMS State
- Complex Numbers, One-Parameter of Unitary Transformations and Stone's Theorem in Topos Quantum Theory
- Topos-Theoretic Extension of a Modal Interpretation of Quantum Mechanics
- Bohrification of local nets
- Lectures on Topos Quantum Theory
- Topos Quantum Theory on Quantization-Induced Sheaves
- Coevents as Beables
- Synthetic Approach to the Singularity Problem
- Negations and Meets in Topos Quantum Theory
- A Topos Theory Foundation for Quantum Mechanics
- An Introduction to Topos Physics
- Superlogic Manifolds and Geometric approach to Quantum Logic
- Can category-theoretic semantics resolve the problem of the interpretation of the quantum state vector?
- Gravity in the smallest