Talk:PlanetPhysics/Categories of Polish Groups and Polish Spaces