Talk:PlanetPhysics/Category of Borel Groupoids