Symmetry and Cauchy completion of quantaloid-enriched categories. Heymans, Hans; Stubbe, Isar — 2011 Theory and Applications of Categories [electronic only]