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.