"what is a thing?": Topos theory in the foundations of physics

Lecture Notes in Physics

Volumn 813, Issue , 2011, Pages 753-937

  Doring A ^a   Isham, C ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 79251470770     PISSN: 00758450     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-12821-9_13     Document Type: Article

References (86)

1. Abramsky, S.: Domain Theory and the Logic of Observable Properties. PhD thesis, Queen Mary College, London University (1987) 774
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 415-425, IEEE Computer Science Press (2004). arXiv:quant-ph/0402130v5 761
3. Adelman, M., Corbett, J.V.: A sheaf model for intuitionistic quantum mechanics. Appl. Categ. Struct. 3, 79-104 (1995) 761
4. Baez, J.C.: An Introduction to Spin Foam Models of Quantum Gravity and BF Theory. Lect. Notes Phys. 543, 25-94 (2000) 765
5. Baez, J.: Quantum quandaries: A category-theoretic perspective. In: French, S., Rickles, D., Sahatsi, J. (eds.) The Structural Foundations of Quantum Gravity. Oxford University Press, Oxford (2006) 761
6. Baez, J., Schreiber, U.: Higher Gauge Theory. arXiv:math/0511.710v2 (2005) 761
7. Banaschewski, B., Mulvey, C.J.: A constructive proof of the Stone-Weierstrass theorem. J. Pure Appl. Algebra 116, 25-40 (1997) 906
8. Banaschewski, B., Mulvey, C.J.: The spectral theory of commutative C-algebras: the constructive spectrum. Quaest. Math. 23, 425-464 (2000) 906
9. Banaschewski, B., Mulvey, C.J.: The spectral theory of commutative C-algebras: the constructive Gelfand-Mazur theorem. Quaest. Math. 23, 465-488 (2000) 906
10. Banaschewski, B., Mulvey, C.J.: A globalisation of the Gelfand duality theorem. Ann. Pure Appl. Logic 137, 62-103 (2006) 906
11. Bell, J.L.: Toposes and Local Set Theories. Clarendon Press, Oxford (1988) 761, 769, 779, 780, 781, 783, 812
12. Bell, J.S.: On the problem of hidden variables in quantum mechanics. In: Speakable and Unspeakable in Quantum Mechanics, pp.1-13. Cambridge University Press, Cambridge (1987) 790
13. Beltrametti, E., Cassinelli, G.: The Logic of Quantum Mechanics. Addison-Wesley, Massachusetts (1981)
14. Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823-843 (1936)
15. Coecke, B.: Quantum Logic in Intuitionistic Perspective. Studia Logica 70, 411-440 (2002) 760
16. Connes, A.: Noncommutative Geometry. Academic Press, San Diego (1994). Download from http://www.alainconnes.org/en/ 766
17. Connes, A., Moscovici, H.: Background independent geometry and Hopf cyclic cohomology. arXiv:math.QA/0505475 (2005) 765
18. Corbett, J.V., Durt, T.: Collimation processes in quantum mechanics interpreted in quantum real numbers. Preprint (2007) 761
19. Crane, L.: What is the Mathematical Structure of Quantum Spacetime? arXiv:0706.4452 (2007) 761
20. Dalla Chiara, M.L., Giuntini, R.: Quantum logics. In: Gabbay, G., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. VI, pp. 129-228. Kluwer, Dordrecht (2002) 778
21. Döring, A.: Kochen-Specker theorem for von Neumann algebras. Int. J. Theor. Phys. 44, 139-160 (2005)
22. Döring, A.: Observables as functions: Antonymous functions. arXiv:quant-ph/0510.102 (2005) 843, 847, 848, 849
23. Döring, A.: Topos theory and 'neo-realist' quantum theory. In: Fauser, B., Tolksdorf, J., Zeidler, E. (eds.) Quantum Field Theory, Competitive Models. Birkhäuser, Basel, Boston, Berlin (2009). arXiv:0712.4003 851
24. A. Döring. Quantum States and Measures on the Spectral Presheaf. To appear in Special Issue of Adv. Sci. Lett. on Quantum Gravity, Cosmology and Black Holes, ed. Bojowald, M. (2009). arXiv:0809.4847 818
25. Döring, A.: The physical interpretation of daseinisation. In preparation (2009) 843
26. Döring, A.: Algebraic quantum theory in a topos: A comparison. In preparation (2009) 907
27. Döoring, A., Isham, C.J.: A topos foundation for theories of physics: I. Formal languages for physics. J. Math. Phys. 49(5), 053515 (2008). arXiv:quant-ph/0703060 760, 812
28. Döring, A., Isham, C.J.: A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory. J. Math. Phys. 49(5), 053516 (2008). arXiv:quantph/0703062 760, 794
29. Döring, A., Isham, C.J.: A topos foundation for theories of physics: III. Quantum theory and the representation of physical quantities with arrowsδ(A) :∑ → R. J. Math. Phys. 49(5), 053517 (2008). arXiv:quant-ph/0703064 760, 782, 794
30. Döring, A., Isham, C.J.: A topos foundation for theories of physics: IV. Categories of systems. J. Math. Phys. 49(5), 053518 (2008). arXiv:quant-ph/0703066 760
31. Döring, A., Lal, R.: Daseinisation and Galois connections. In preparation (2009) 835
32. Dowker, F.: Causal sets and the deep structure of space-time. In: Abhay A. (ed.)100 Years of Relativity-Space-time Structure: Einstein and Beyond. World Scientific, Singapore (2005) 788
33. Escard o, M.H.: PCF extended with real numbers: A domain-theoretic approach to higher-order exact real number computation. PhD thesis. Download from http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-374/index.html (2007) 850
34. Goldblatt, R.: Topoi: The Categorial Analysis of Logic. North-Holland, London (1984) 761, 772, 773, 822, 92
35. Grayling, A.C.: An Introduction to Philosophical Logic. Duckworth Press, London (1990) 856, 909
36. de Groote, H.F.: On a canonical lattice structure on the effect algebra of a von Neumann algebra. arXiv:math-ph/0410.018v2 (2004) 830
37. de Groote, H.F.: Observables. arXiv:math-ph/0507.019 (2005) 796, 806, 829, 833, 834, 843, 845
38. de Groote, H.F.: Observables I: Stone spectra. arXiv:math-ph/0509.020 (2005) 819, 822, 917, 919
39. de Groote, H.F.: Observables II: Quantum observables. arXiv:math-ph/0509.075 (2005) 829, 843, 845, 847
40. Heidegger, M.: What is a Thing? Regenery/Gateway, Indiana (1967) 753, 756, 757
41. Heisenberg, W.: Philosophic Problems of Nuclear Science. Pantheon, New York (1952) 764
42. Heunen, C., Landsmann, K., Spitters, B.: A topos for algebraic quantum theory. arXiv:0709.4364v2 (second version 6. April 2008) 760, 794, 818, 850, 905, 906, 907, 910
43. Isham, C.J.: Quantum logic and the histories approach to quantum theory. J. Math. Phys. 35, 2157-2185 (1994) 776
44. Isham, C.J.: Topos theory and consistent histories: The internal logic of the set of all consistent sets. Int. J. Theor. Phys. 36, 785-814 (1997)
45. Isham, C.J.: Some reflections on the status of conventional quantum theory when applied to quantum gravity. In: Gibbons, G. (ed.) Proceedings of the Conference in Honour of Stephen Hawking's 60'th Birthday. Cambridge University Press, Cambridge (2003) 763
46. Isham, C.J.: Is it true; or is it false; or somewhere in between? The logic of quantum theory. Contempory Phys. 46, 207-219 (2005)
47. Isham, C.J.: A Topos Perspective on State-Vector Reduction. Int. J. Theor. Phys. 45, 994-1020 (2006) 913
48. Isham, C.J., Butterfield, J.: A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalised valuations. Int. J. Theor. Phys. 37, 2669-2733 (1998) 760, 770, 788, 791, 793, 794, 795, 7
49. Isham, C.J., Butterfield, J.: A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects, and classical analogues. Int. J. Theor. Phys. 38, 827-859 (1999) 760, 770, 793, 794, 795, 800, 817
50. Isham, C.J., Hamilton, J., Butterfield, J.: A topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category. Int. J. Theor. Phys. 39, 1413-1436 (2000) 760, 770, 793, 794
51. Isham, C.J., Butterfield, J.: A topos perspective on the Kochen-Specker theorem: IV. Interval valuations. Int. J. Theor. Phys 41, 613-639 (2002) 760, 770, 793, 794, 795, 800, 817
52. Isham, C.J., Butterfield, J.: Space-time and the philosophical challenge of quantum gravity. In: Callender, C., Huggett, N. (eds.) Physics Meets Philosophy at the Planck Scale, pp. 33-89. Cambridge University Press, Cambridge (2001) 765
53. Isham, C.J., Butterfield, J.: Some possible roles for topos theory in quantum theory and quantum gravity. Found. Phys. 30, 1707-1735 (2000) 794
54. Jackson, M.: A sheaf theoretic approach to measure theory. PhD thesis, University of Pittsburgh (2006) 839
55. Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium I, II. Oxford Science Publications, Oxford (2002/03) 761, 861, 925
56. Kadison, R.V., Ringrose, J.R.: Fundamentals of the Theory of Operator Algebras, vol. 1: Elementary Theory. Academic Press, New York (1983) 800
57. Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. J. Math. Mech. 17, 59-87 (1967) 757, 788, 789, 800
58. Kock, A.: Synthetic Differential Geometry (LMS lecture note series: 51). Cambridge University Press, Cambridge (1981) 788
59. Lambek, J., Scott, P.J.: Introduction to higher order categorical logic. Cambridge University Press, Cambridge (1986) 761, 769, 780, 781, 783, 925
60. Landsman, K.: The principle of general tovariance. philsciarchive. pitt.edu/archive/00003931/ (2008) 786
61. Lawvere, F.W.: Functorial Semantics of Algebraic Theories. Ph.D. thesis, Columbia University, Columbia (1963). Available from www.tac.mta.ca/tac/ reprints/articles/5/tr5abs.html 760
62. Lawvere, F.W.: Toward the Description in a Smooth Topos of the Dynamically Possible Motions and Deformations of a Continuous Body. Cahiers de Topologie et Geométrie Différentielle Catégorique XXI, 337-392 (1980) 760
63. Lawvere, F.W. (ed.): Introduction to Categories in Continuum Physics. Springer Lecture Notes in Mathematics No. 1174. Springer, New York (1986) 760
64. Lawvere, F.W., Rosebrugh, R.: Sets for Mathematics. Cambridge University Press, Cambridge (2003) 925, 926
65. MacLane, S.: Categories for theWorking Mathematician. Springer, New York, Berlin, Heidelberg (1971) 761, 926
66. MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, New York, Berlin, Heidelberg (1992) 761, 811, 838, 889, 890, 925, 928
67. Margenau, H.: Reality in quantum mechanics. Phil. Sci. 16, 287-302 (1949) 764
68. Markopoulou, F.: The internal description of a causal set: What the universe looks like from the inside. Comm. Math. Phys. 211, 559-583 (2002) 760
69. Mallios, A.: Modern Differential Geometry in Gauge Theories, vol 1: Maxwell Fields. Birkhäuser, Boston (2006) 760
70. Mallios, A.: Modern Differential Geometry in Gauge Theories, vol 2: Yang-Mills Fields. Birkhäuser, Boston (2006) 760
71. Mallios, A., Zafiris, E.: Topos-theoretic relativization of physical representability and quantum gravity. arXiv:gr-qc/0610.113 (2007) 760
72. Nakayama, K.: Topos-theoretic extension of a modal interpretation of quantum mechanics. arXiv:0711.2200 (2007) 793
73. Olson, M.P.: The Selfadjoint Operators of a von Neumann Algebra form a Conditionally Complete Lattice. Proc. AMS 28, 537-544 (1971) 830
74. Ozawa, M.: Transfer principle in quantum set theory. J. Symbolic Logic 72, 625-648 (2007). arXiv:math/0604349v2 761
75. Popper, K.: Quantum Theory and the Schism in Physics. Hutchinson, London (1982) 764
76. Raptis, I.: Categorical quantum gravity. Int. J. Theor. Phys. 45, 1495-1523 (2006) 760
77. Smolin, L.: The case for background independence. In: French, S., Rickles, D., Sahatsi, J. (eds.) The Structural Foundations of Quantum Gravity. Oxford University Press, Oxford (2006) 765
78. Smolin, L.: Generic predictions of quantum theories of gravity. In: Oriti, D. (ed.) Approaches to Quantum Gravity-Toward a New Understanding of Space, Time, and Matter. Cambridge University Press, Cambridge (2006). arXiv:hep-th/0605.052 765
79. Smyth, M.: Powerdomains and predicate transformers: A topological view. In: Diaz, J. (ed.) Automata, Languages and Programming, Lecture Notes in Computer Science 154. Springer, Berlin (1983) 774
80. Sorkin, R.D.: Causal Sets: Discrete Gravity (Notes for the Valdivia Summer School). In: Gomberoff, A., Marolf, D. (eds.) Lectures on Quantum Gravity. Plenum, New York (2005)
81. Stone, M.H.: The Theory of Representations for Boolean algebras. Trans. Am. Math. Soc. 40, 37-111 (1936) 768
82. Stubbe, I.: The Canonical Topology on a Meet-Semilattice. Int. J. Theor. Phys. 44(12), 2283- 2293 (2005) 761
83. Takeuti, G.: Quantum set theory. In: Beltrametti, E.G., van Fraasen, B.C. (eds.) Current Issues in Quantum Logic, pp. 303-322. Plenum, New York (1981) 761, 766
84. Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1989) 774, 775
85. Vickers, S.: Issues of logic, algebra and topology in ontology. In: Theory and Applications of Ontology. In preparation (2008) 775
86. Vicary, J.: The quantum harmonic oscillator as an adjunction. Int. J. Theor. Phys. (2007). arXiv:0706.0711 761