TY - JOUR AU - Chris Heunen TI - An embedding theorem for Hilbert categories JO - Theory and applications of categories PY - 2009 SP - 321 EP - 344 VL - 22 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2009_22_a12/ LA - en ID - TAC_2009_22_a12 ER -