Talk:PlanetPhysics/Geometrically Defined Double Groupoid With Connection