Talk:PlanetPhysics/2 Category of Double Groupoids