Talk:PlanetPhysics/Categorical Dynamics 2