Talk:PlanetPhysics/Categorical Dynamics