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.