{
  "id": "0712.4003",
  "version": "v1",
  "published": "2007-12-24T14:04:38.000Z",
  "updated": "2007-12-24T14:04:38.000Z",
  "title": "Topos theory and `neo-realist' quantum theory",
  "authors": [
    "Andreas Doering"
  ],
  "comment": "22 pages, no figures; contribution for Proceedings of workshop \"Recent Developments in Quantum Field Theory\", MPI MIS Leipzig, July 2007",
  "journal": "In Quantum Field Theory, Competitive Models, eds. B. Fauser, J. Tolksdorf, E. Zeidler, 25-47, Birkhaeuser (2009)",
  "categories": [
    "quant-ph"
  ],
  "abstract": "Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves as a `mathematical universe' with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how this works for (algebraic) quantum theory.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2007-12-24T14:04:38.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "quantum theory",
      "topos theory",
      "neo-realist",
      "brief introduction",
      "assign truth-values"
    ],
    "tags": [
      "journal article"
    ],
    "publication": {
      "doi": "10.1007/978-3-7643-8736-5_2"
    },
    "note": {
      "typesetting": "TeX",
      "pages": 22,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "inspire": 771601,
      "adsabs": "2009qft..book...25D"
    }
  }
}