dorsal/arxiv
View SchemaA Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
| Authors | A. Doering, C. J. Isham |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0703064 |
| URL | https://arxiv.org/abs/quant-ph/0703064 |
| DOI | 10.1063/1.2883777 |
| Journal | J.Math.Phys.49:053517,2008 |
Abstract
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 $\breve{\delta}^o(A):\Sig\map\SR$, where $\SR$ is the quantity-value object for this theory. The construction of $\breve{\delta}^o(A)$ is an extension of the daseinisation of projection operators that was discussed in paper II. The object $\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 topos analogue of the Grothendieck extension of a monoid to a group. The resulting object, $\kSR$, is an abelian group-object in $\tau_\phi$. We also discuss another candidate, $\PR{\mathR}$, for the quantity-value object. In this presheaf, both inner and outer daseinisation are used in a symmetric way. Finally, there is a brief discussion of the role of unitary operators in the quantum topos scheme.
{
"annotation_id": "125995d1-5db2-4ad5-a95a-c98737bfe558",
"date_created": "2026-03-02T18:02:34.708000Z",
"date_modified": "2026-03-02T18:02:34.708000Z",
"file_hash": "434c28fec144702954abaac7b7dc13466de3cdd591c49fadcc9b8b7207772425",
"private": false,
"record": {
"abstract": "This paper is the third in a series whose goal is to develop a fundamentally\nnew way of viewing theories of physics. Our basic contention is that\nconstructing a theory of physics is equivalent to finding a representation in a\ntopos of a certain formal language that is attached to the system. In paper II,\nwe studied the topos representations of the propositional language PL(S) for\nthe case of quantum theory, and in the present paper we do the same thing for\nthe, more extensive, local language L(S). One of the main achievements is to\nfind a topos representation for self-adjoint operators. This involves showing\nthat, for any physical quantity A, there is an arrow\n$\\breve{\\delta}^o(A):\\Sig\\map\\SR$, where $\\SR$ is the quantity-value object for\nthis theory. The construction of $\\breve{\\delta}^o(A)$ is an extension of the\ndaseinisation of projection operators that was discussed in paper II. The\nobject $\\SR$ is a monoid-object only in the topos, $\\tau_\\phi$, of the theory,\nand to enhance the applicability of the formalism, we apply to $\\SR$ a topos\nanalogue of the Grothendieck extension of a monoid to a group. The resulting\nobject, $\\kSR$, is an abelian group-object in $\\tau_\\phi$. We also discuss\nanother candidate, $\\PR{\\mathR}$, for the quantity-value object. In this\npresheaf, both inner and outer daseinisation are used in a symmetric way.\nFinally, there is a brief discussion of the role of unitary operators in the\nquantum topos scheme.",
"arxiv_id": "quant-ph/0703064",
"authors": [
"A. Doering",
"C. J. Isham"
],
"categories": [
"quant-ph",
"gr-qc",
"math-ph",
"math.MP"
],
"doi": "10.1063/1.2883777",
"journal_ref": "J.Math.Phys.49:053517,2008",
"title": "A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows",
"url": "https://arxiv.org/abs/quant-ph/0703064"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "2a04f7fb-4583-495f-933d-2312d023f6b6",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}