Categorical Geometry and the Mathematical Foun- Dations of Quantum Gravity