Talk:PlanetPhysics/Superdiagrams As Heterofunctors