Talk:PlanetPhysics/Category of Hilbert Spaces