TY - RPRT TI - Symmetry and Cauchy completion of quantaloid-enriched categories AU - Hans Heymans AU - Isar Stubbe PY - 2011 UR - https://arxiv.org/abs/1005.1018 ID - 1005.1018 ER -