Talk:PlanetPhysics/Categorical Algebra