This article may be too technical for most readers to understand. (September 2010) (Learn how and when to remove this template message)
In mathematics, a quantaloid is a category enriched over the category Sup of suplattices. In other words for any objects a, b the morphism object between them is not just a set but a complete lattice, in such a way that composition of morphisms preserves all joins:
The endomorphism lattice of any object in a quantaloid is a quantale, whence the name.
|This category theory-related article is a stub. You can help Wikipedia by expanding it.|