An embedding theorem for Hilbert categories. Heunen, Chris — 2009 Theory and Applications of Categories [electronic only]