Talk:PlanetPhysics/Category of Riemannian Manifolds 2