Talk:PlanetPhysics/Weak Homotopy Double Groupoid