Talk:PlanetPhysics/Axiomatics and Categorical Foundations of Mathematical Physics