colimits of Hilbert spaces