A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ{sup o}(A):Ï lowbar âR{sup sccue} lowbar

This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. 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. In Paper II, we studied the topos representations of the propositional language PL(S) for the case of quantum theory, and in the present paper we do the same thing for the, more extensive, local language L(S). One of the main achievements is to find a topos representation for self-adjoint operators. This involves showing that, for any physical quantity A, there is an arrow δo(A):Σ→R≽, where R≽ is the quantity-value object for this theory. The construction of δo(A) is an extension of the daseinisation of projection operators that was discussed in Paper II. The object R≽ is a monoid object only in the topos, τϕ=SetsV(H)op, of the theory, and to enhance the applicability of the formalism, we apply to R≽ a topos a...

[1]  A. Grayling.  An introduction to philosophical logic , 1982 .

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

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

[4]  Observables as functions: Antonymous functions , 2005, quant-ph/0510102.

[5]  C. J. Isham,et al.  A Topos Foundation for Theories of Physics: IV. Categories of Systems , 2008 .

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

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

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

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

[10]  Matthew Tobias Jackson,et al.  A SHEAF THEORETIC APPROACH TO MEASURE THEORY , 2006 .

[11]  Observables II : Quantum Observables , 2005, math-ph/0509075.

[12]  Hans F. de Groote.  On a canonical lattice structure on the effect algebra of a von Neumann algebra , 2004 .

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

[14]  A Topos Perspective on State-Vector Reduction , 2006 .

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

[16]  Milton Philip Olson,et al.  The selfadjoint operators of a von Neumann algebra form a conditionally complete lattice , 1971 .