Quantaloid

From Wikipedia, the free encyclopedia

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 is not just a set but a complete lattice.


This category theory-related article is a stub. You can help Wikipedia by expanding it.