SMS: Functors on the category of Hilbert spaces /