论文信息 - A Topos Foundation for Theories of Physics: IV. Categories of Systems

A Topos Foundation for Theories of Physics: IV. Categories of Systems

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 program 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 entir...

C. J. Isham | A. Doering

[1] Andreas Döring. Kochen–Specker Theorem for von Neumann Algebras , 2005 .

[2] C. Isham,et al. Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity , 1999, gr-qc/9910005.

[3] C. J. Isham,et al. A Topos Perspective on the Kochen-Specker Theorem II. Conceptual Aspects and Classical Analogues , 1998 .

[4] C. J. Isham,et al. Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations , 1998, quant-ph/9803055.

[5] C. J. Isham,et al. Topos Perspective on the Kochen–Specker Theorem: IV. Interval Valuations , 2001 .

[6] I. Moerdijk,et al. Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[7] C. J. Isham,et al. A topos foundation for theories of physics: III. The representation of physical quantities with arrows Î´{sup o}(A):Ï lowbar âR{sup sccue} lowbar , 2007 .

[8] R. Goldblatt. Topoi, the Categorial Analysis of Logic , 1979 .

[9] C. J. Isham,et al. A topos foundation for theories of physics: I. Formal languages for physics , 2007 .

[10] C. J. Isham,et al. A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory , 2008 .

[11] C. J. Isham,et al. Topos Perspective on the Kochen=nSpeckerTheorem: III. Von Neumann Algebras as theBase Category , 1999 .