Talk:PlanetPhysics/Double Groupoid With Connection