Quantaloid
From Wikipedia, the free encyclopedia
| This article does not cite any references or sources. (January 2008) Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed. |
| This article is orphaned as few or no other articles link to it. Please help introduce links in articles on related topics. (December 2007) |
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.

