Talk:PlanetPhysics/Categorical Physics