The category of Hilbert spaces and contractions has filtered colimits, and tensoring preserves them. We also discuss (problems with) bounded maps.