Talk:PlanetPhysics/Category of Borel Spaces