A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows

@article{citeulike:1221616, abstract = {This paper is the third in a series whose goal is to develop a fundamentallynew way of viewing theories of physics. Our basic contention is thatconstructing a theory of physics is equivalent to finding a representation in atopos 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) forthe case of quantum theory, and in the present paper we do the same thing forthe, more extensive, local language L(S). One of the main achievements is tofind a topos representation for self-adjoint operators. This involves showingthat, for any physical quantity A, there is an arrow\$\breve{\delta}^o(A):\Sig\map\SR\$, where \$\SR\$ is the quantity-value object forthis theory. The construction of \$\breve{\delta}^o(A)\$ is an extension of thedaseinisation of projection operators that was discussed in paper II. Theobject \$\SR\$ is a monoid-object only in the topos, \$\tau\_\phi\$, of the theory,and to enhance the applicability of the formalism, we apply to \$\SR\$ a toposanalogue of the Grothendieck extension of a monoid to a group. The resultingobject, \$\kSR\$, is an abelian group-object in \$\tau\_\phi\$. We also discussanother candidate, \$\PR{\mathR}\$, for the quantity-value object. In thispresheaf, both inner and outer daseinisation are used in a symmetric way.Finally, there is a brief discussion of the role of unitary operators in thequantum topos scheme.}, author = {Doering, A. and Isham, C. J. }, citeulike-article-id = {1221616}, eprint = {quant-ph/0703064}, journal = {ArXiv Quantum Physics e-prints}, keywords = {category-theory, languages, mathematics, physics, quantum}, month = {March}, posted-at = {2008-04-07 21:49:26}, priority = {4}, title = {A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows}, url = {http://arxiv.org/abs/quant-ph/0703064}, year = {2007} }

TY - JOUR ID - citeulike:1221616 L3 - citeulike-article-id:1221616 TI - A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows JF - ArXiv Quantum Physics e-prints N2 - This paper is the third in a series whose goal is to develop a fundamentallynew way of viewing theories of physics. Our basic contention is thatconstructing a theory of physics is equivalent to finding a representation in atopos 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) forthe case of quantum theory, and in the present paper we do the same thing forthe, more extensive, local language L(S). One of the main achievements is tofind a topos representation for self-adjoint operators. This involves showingthat, for any physical quantity A, there is an arrow$\breve{\delta}^o(A):\Sig\map\SR$, where $\SR$ is the quantity-value object forthis theory. The construction of $\breve{\delta}^o(A)$ is an extension of thedaseinisation of projection operators that was discussed in paper II. Theobject $\SR$ is a monoid-object only in the topos, $\tau_\phi$, of the theory,and to enhance the applicability of the formalism, we apply to $\SR$ a toposanalogue of the Grothendieck extension of a monoid to a group. The resultingobject, $\kSR$, is an abelian group-object in $\tau_\phi$. We also discussanother candidate, $\PR{\mathR}$, for the quantity-value object. In thispresheaf, both inner and outer daseinisation are used in a symmetric way.Finally, there is a brief discussion of the role of unitary operators in thequantum topos scheme. KW - category-theory KW - languages KW - mathematics KW - physics KW - quantum AU - Doering, A AU - Isham, CJ PY - 2007/March// UR - http://arxiv.org/abs/quant-ph/0703064 ER -