Categorical Geometry and the Mathematical Foundations of Quantum General Relativity

We explore the possibility of replacing point set topology by higher category theory and topos theory as the foundation for quantum general relativity. We discuss the BC model and problems of its interpretation, and connect with the construction of causal sites.

[1]  R. Sorkin.  Causal sets: Discrete gravity , 2005 .

[2]  L. Crane,et al.  The geometrization of matter proposal in the Barrett-Crane model and resolution of cosmological problems , 2003, gr-qc/0306079.

[3]  R. Picken.  A cohomological description of Abelian bundles and gerbes , 2003, math/0305147.

[4]  J. Baez.  Higher Yang-Mills Theory , 2002, hep-th/0206130.

[5]  L. Crane.  A New Approach to the Geometrization of Matter , 2001, gr-qc/0110060.

[6]  C. Rovelli,et al.  A Finiteness proof for the Lorentzian state sum spin foam model for quantum general relativity , 2001, gr-qc/0104057.

[7]  C. Isham,et al.  Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity , 1999, gr-qc/9910005.

[8]  L. Crane,et al.  A Lorentzian signature model for quantum general relativity , 1999, gr-qc/9904025.

[9]  R. Omnes,et al.  Understanding Quantum Mechanics , 2020 .

[10]  J. Baez,et al.  The Quantum Tetrahedron in 3 and 4 Dimensions , 1999, gr-qc/9903060.

[11]  R. Wald,et al.  Comment on entropy bounds and the generalized second law , 1999, gr-qc/9901032.

[12]  L. Crane,et al.  Relativistic spin networks and quantum gravity , 1997, gr-qc/9709028.

[13]  L. Breen.  On the classification of 2-gerbes and 2-stacks , 1994 .

[14]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[15]  A. Kock.  Synthetic Differential Geometry , 1981 .

[16]  Ross Street,et al.  Cosmoi of internal categories , 1980 .

[17]  A. Grothendieck,et al.  Théorie des Topos et Cohomologie Etale des Schémas , 1972 .