Talk:PlanetPhysics/Groupoid Representations Induced by Measure