TY - JOUR AU - Hans Heymans AU - Isar Stubbe TI - Symmetry and Cauchy completion of quantaloid-enriched categories JO - Theory and applications of categories PY - 2011 SP - 276 EP - 294 VL - 25 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2011_25_a10/ LA - en ID - TAC_2011_25_a10 ER -