%0 Journal Article %A Chris Heunen %T An embedding theorem for Hilbert categories %J Theory and applications of categories %D 2009 %P 321-344 %V 22 %I mathdoc %U http://geodesic.mathdoc.fr/item/TAC_2009_22_a12/ %G en %F TAC_2009_22_a12