A quantaloid is a category enriched over the category Sup of suplattices. In other words for any objects a, b the homobject of morphisms between them isn't just a set but a complete lattice.… (More on Quantaloid)