A topos foundation for theories of physics: IV. Categories of systems

Journal of Mathematical Physics

Volumn 49, Issue 5, 2008, Pages 53515-

  Doring A ^a   Isham, C J ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44649104426     PISSN: 00222488     EISSN: None     Source Type: Journal    
DOI: 10.1063/1.2883826     Document Type: Article

References (11)

1. A. Döring and C. J. Isham, “A topos foundation for theories of physics. I. Formal languages for physics,” J. Math. Phys. JMAPAQ 49, 053515 (2008).
2. A. Döring and C. J. Isham, “A topos foundation for theories of physics. II. Daseinisation and the liberation of quantum theory,” J. Math. Phys. JMAPAQ 49, 053516 (2008).
3. A. Döring and C. J. Isham, “A topos foundation for theories of physics. III. Quantum theory and the representation of physical quantities with arrows [formula omitted],” J. Math. Phys. JMAPAQ 49, 053517 (2008).
4. R. Goldblatt, Topoi: The Categorial Analysis of Logic (North-Holland, London, 1984).
5. J. L. Bell, Toposes and Local Set Theories (Clarendon, Oxford, 1988).
6. C. J. Isham and J. Butterfield, Int. J. Theor. Phys. IJTPBM 10.1023/A:1026680806775 37, 2669 (1998).
7. J. Butterfield and C. J. Isham, Int. J. Theor. Phys. IJTPBM 10.1023/A:1026652817988 38, 827 (1999).
8. J. Hamilton, J. Butterfield, and C. J. Isham, Int. J. Theor. Phys. IJTPBM 10.1023/A:1003667607842 39, 1413 (2000).
9. J. Butterfield and C. J. Isham, Int. J. Theor. Phys. IJTPBM 10.1023/A:1015276209768 41, 613 (2002).
10. C. J. Isham and J. Butterfield, Found. Phys. FNDPA4 10.1023/A:1026406502316 30, 1707 (2000).
11. S. MacLane and I. Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Springer-Verlag, London, 1992).