A topos foundation for theories of physics: IV. Categories of systems
From MaRDI portal
(Redirected from Publication:5504929)
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.
Recommendations
- 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: 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≽̱
- scientific article; zbMATH DE number 5526583
Cites work
- 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 perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
- scientific article; zbMATH DE number 192841 (Why is no real title available?)
- Topoi. The categorial analysis of logic. Rev. ed
- Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
- 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.
Cited in
(30)- A topos for algebraic quantum theory
- Contextuality and noncommutative geometry in quantum mechanics
- Categorical algebra for continuum micro physics
- A comparison of two topos-theoretic approaches to quantum theory
- Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
- An abstract theory of physical measurements
- Negations and meets in topos quantum theory
- Isomorphisms of ordered structures of Abelian \(C^*\)-subalgebras of \(C^*\)-algebras
- Topos quantum logic and mixed states
- Classical and quantum probabilities as truth values
- Topos quantum theory on quantization-induced sheaves
- Topos quantum theory reduced by context-selection functors
- Spectral presheaves as quantum state spaces
- ``What is a thing?: topos theory in the foundations of physics
- Topos models for physics and topos theory
- The principle of general tovariance
- Microcosm to macrocosm via the notion of a sheaf (observers in terms of t-topos)
- scientific article; zbMATH DE number 219979 (Why is no real title available?)
- Automorphisms of order structures of abelian parts of operator algebras and their role in quantum theory
- scientific article; zbMATH DE number 1855629 (Why is no real title available?)
- On the theory of composition in physics
- A topos formulation of history quantum theory
- Group action in topos quantum physics
- Topologies on quantum topoi induced by quantization
- 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≽̱
- Gleason’s theorem for composite systems
- Quantum entanglement: an analysis via the orthogonality relation
- Intuitionistic quantum logic of an \(n\)-level system
This page was built for publication: A topos foundation for theories of physics: IV. Categories of systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504929)
