TY - RPRT TI - Grothendieck quantaloids for allegories of enriched categories AU - Hans Heymans AU - Isar Stubbe PY - 2012 UR - https://arxiv.org/abs/1206.5975 ID - 1206.5975 ER -