Foundations of Physics

, Volume 30, Issue 10, pp 1707–1735 | Cite as

Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity

  • C. J. Isham
  • J. Butterfield


We discuss some ways in which topos theory (a branch of category theory) can be applied to interpretative problems in quantum theory and quantum gravity. In Sec.1, we introduce these problems. In Sec.2, we introduce topos theory, especially the idea of a topos of presheaves. In Sec.3, we discuss several possible applications of topos theory to the problems in Sec.1. In Sec.4, we draw some conclusions.


Quantum Theory Topo Quantum Gravity Category Theory Interpretative Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    C.J. Isham and J. Butterfield, “A topos perspective on the Kochen-Specker theorem: I.Quantum states as generalised valuations,” Internat.J.Theoret.Phys. 37, 2669–2733 (1998), quant-ph/980355.Google Scholar
  2. 2.
    J. Butterfield and C.J. Isham, “A topos perspective on the Kochen-Specker theorem: II.Conceptual aspects, and classical analogues,” Internat.J.Theoret.Phys. 38, 827–859 (1999), quant-ph/9808067.Google Scholar
  3. 3.
    J. Hamilton, C.J. Isham, and J. Butterfield, “A topos perspective on the Kochen_Specker theorem: III.Von Neumann algebras as the base category,” forthcoming in Internat.J.Theoret.Phys. (2000), quant-ph/9911020.Google Scholar
  4. 4.
    S. Kochen and E. Specker, “The problem of hidden variables in quantum mechanics,” J.Math.Mech. 17, 59–87 (1967).Google Scholar
  5. 5.
    G. Birkhoff and J. von Neumann, “The logic of quantum mechanics,” Ann.Math. 37, 823–843 (1936).Google Scholar
  6. 6.
    M.L.Dalla Chiara and R.Giuntini, “Quantum logics,” in Handbook of Philosophical Logic, D.Gabbay and F.Guenthner, eds.(Kluwer Academic, Dordrecht, to appear).Google Scholar
  7. 7.
    M.L. Dalla Chiara and R. Giuntini, “Unsharp quantum logics,” Found.Phys. 24, 1161–1177 (1994).Google Scholar
  8. 8.
    G. Cattaneo and F. Laudisa, “Axiomatic unsharp quantum logis,” Found.Phys. 24, 631–684 (1994).Google Scholar
  9. 9.
    J. Butterfield and C.J. Isham, “Spacetime and the philosophical challenge of quantum gravity,” in Physics meets Philosophy at the Planck Scale, C. Callender and N. Huggett, eds.(Cambridge University Press, Cambridge, 2000), gr-qc 9903072.Google Scholar
  10. 10.
    M. Farrukh, “Application of nonstandard analysis to quantum mechanics,” J.Math.Phys. 16, 177–200 (1975).Google Scholar
  11. 11.
    R. Lavendhomme, Basic Concepts of Synthetic Differential Geometry (Kluwer, Dordrecht, 1996).Google Scholar
  12. 12.
    K.Savvidou, “The action operator for continuous-time histories,” forthcoming in J.Math.Phys., gr-qc 9811078.Google Scholar
  13. 13.
    F.Markopoulou, “The internal description of a causal set: What the universe looks like from the inside,” forthcoming, gr-qc 9811053.Google Scholar
  14. 14.
    C.J. Isham, “Quantum logic and the consistent histories approach to quantum theory,” J.Math.Phys. 23, 2157–2185 (1994).Google Scholar

Copyright information

© Plenum Publishing Corporation 2000

Authors and Affiliations

  • C. J. Isham
    • 1
  • J. Butterfield
    • 2
  1. 1.The Blackett LaboratoryImperial College of Science, Technology and Medicine, South KensingtonLondonUnited Kingdom
  2. 2.All Souls CollegeOxfordUnited Kingdom

Personalised recommendations