TY - RPRT TI - An embedding theorem for Hilbert categories AU - Chris Heunen PY - 2009 UR - https://arxiv.org/abs/0811.1448 ID - 0811.1448 ER -