Quantum Quandaries: A Category-Theoretic Perspective

The Structural Foundations of Quantum Gravity

Volumn , Issue , 2011, Pages

  Baez, John ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

General relativity; Hilbert spaces; Ncob; Quantum theory

Indexed keywords

EID: 84920842812     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1093/acprof:oso/9780199269693.003.0008     Document Type: Chapter

References (37)

1. Abramsky, S., and B. Coecke (2004) "A Categorical Semantics of Quantum Protocols". ArXiv:quant-ph/0402130.
2. Arageorgis, A., J. Earman, and L. Ruetsche (2002) "Weyling the Time away: The Non-Unitary Implementability of Quantum Field Dynamics on Curved Spacetime". Studies in the History and Philosophy of Modern Physics, 33: 151-84.
3. Atiyah, M. F. (1989) "Topological Quantum Field Theories". Publ. Math. IHES Paris, 68: 175-86.
4. Atiyah, M. F. (1990) The Geometry and Physics of Knots. Cambridge: Cambridge University Press.
5. Baez, J. (1987) "Bell's Inequality for C*-Algebras". Lett. Math. Phys. 13: 135-6.
6. Baez, J. (1998) "Spin Foam Models." Class. Quantum Grav. 15: 1827-58. ArXiv:grqc/ 9709052.
7. Baez, J. (1999) "An Introduction to Spin Foam Models of Quantum Gravity and BF Theory". In H. Gausterer and H. Grosse (eds.), Geometry and Quantum Physics. Berlin: Springer-Verlag (pp. 25-93). ArXiv:gr-qc/9905087.
8. Baez, J. (2001) "Higher-Dimensional Algebra and Planck-Scale Physics". In C. Callender and N. Huggett (eds.), Physics Meets Philosophy at the Planck Length. Cambridge: Cambridge University Press (pp. 177-95). ArXiv:gr-qc/9902017.
9. Baez, J. and J. Dolan (1995) "Higher-Dimensional Algebra and Topological Quantum Field Theory". Jour. Math. Phys. 36: 6073-105. ArXiv:q-alg/9503002.
10. Barr, M., and C. Wells (1983) Toposes, Triples and Theories. Berlin: Springer-Verlag. Revised and corrected version available at .
11. Bell, J. S. (1964) "On the Einstein-Podolsky-Rosen Paradox". Physics, 1: 195-200.
12. Boileau, A., and A. Joyal (1981) "La Logique des topos". J. Symb. Logic, 46: 6-16.
13. Corfield, D. (2003) Towards a Philosophy of Real Mathematics. Cambridge: Cambridge University Press.
14. Coste, M. (1972) Langage interned'un topos. Paris: Seminaire Bénabou, Université Paris-Nord.
15. Crole, R. L. (1993) Categories for Types. Cambridge: Cambridge University Press.
16. Einstein, A., B. Podolsky, and N. Rosen (1935) "Can Quantum-Mechanical Description of Physical Reality be Considered Complete?" Phys. Rev. 47: 77.
17. Hawkins, E., F. Markopoulou, and H. Sahlmann (2003) "Evolution in Quantum Causal Histories". Class. Quant. Grav. 20: 3839-54. ArXiv:hep-th/0302111.
18. Johnstone, P. (2002) "Toposes as Theories". In Sketches of an Elephant: A Topos Theory Compendium, vol. ii. Oxford: Oxford University Press (pp. 805-1088).
19. Kanamori, A. (2003) "The Empty Set, the Singleton, and the Ordered Pair". Bull. Symb. Logic, 9: 273-98. Also available at Lakoff, G., and R. Núñez (2000) Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being. New York: Basic Books.
20. Lambek, J. (1980) "From λ-Calculus to Cartesian Closed Categories". In J. P. Seldin and J. R. Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. New York: Academic Press (pp. 375-402).
21. Lambek, J. and P. J. Scott (1986) Introduction to Higher-Order Categorical Logic. Cambridge: Cambridge University Press.
22. Lawvere, F. W. (1963) 'Functorial Semantics of Algebraic Theories'. Ph.D. dissertation, Columbia University.
23. Lawvere, F. W. (1979) "Categorical Dynamics". In Proceedings of Aarhus May 1978 Open House on Topos Theoretic Methods in Geometry. Aarhus: Aarhus University Press.
24. Lawvere, F. W. (1980) "Toward the Description in a Smooth Topos of the Dynamically Possible Motions and Deformations of a Continuous Body". Cahiers de Top. et Geom. Diff. Cat. 21: 337-92.
25. Lawvere, F. W. and S. Schanuel (eds.) (1986) Categories in Continuum Physics. Berlin: Springer-Verlag.
26. Loday, J.-L., J. Stasheff, and A. Voronov (eds.) (1997) Operads: Proceedings of Renaissance Conferences. Providence, RI: American Mathematical Society.
27. Mac Lane, S. (1963) "Natural Associativity and Commutativity". Rice Univ. Stud. 49: 28-46.
28. Mac Lane, S. and I. Moerdijk (1992) Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Berlin: Springer-Verlag.
29. McLarty, C. (1995) Elementary Categories, Elementary Toposes. Oxford: Clarendon Press.
30. Markl, M., S. Shnider, and J. Stasheff (2002) Operads in Algebra, Topology and Physics. Providence, RI: American Mathematical Society.
31. Mauri, L. (internet resource) "Algebraic Theories in Monoidal Categories". Available at .
32. Mitchell, W. (1972) "Boolean Topoi and the Theory of Sets". J. Pure Appl. Alg. 2: 261-74.
33. Segal, G. (2004) "The Definition of a Conformal Field Theory". In U. L. Tillmann (ed.), Topology, Geometry and Quantum Field Theory: Proceedings of the 2002 Oxford Symposium in Honour of the 60th Birthday of Graeme Segal. Cambridge: Cambridge University Press.
34. Smolin, L. (2001) Three Roads to Quantum Gravity. New York: Basic Books.
35. Smolin, L. (2003) "How Far are We from the Theory of Quantum Gravity?" ArXiv:hepth/0303185.
36. Vaas, R. (2004) "The Duel: Strings Versus Loops." Trans. M. Bojowald and A. Sen. ArXiv:physics/0403112.
37. Wootters, W. K., and W. H. Zurek (1982) "A Single Quantum Cannot Be Cloned". Nature, 299: 802-3.