Talk:PlanetPhysics/Categorical Diagrams Defined by Functors