Quantaloid

In mathematics, a quantaloid is a category enriched over the category Sup of suplattices.[1] In other words for any objects a, b the homobject of morphisms between them is not just a set but a complete lattice.

References

  1. ↑ Rosenthal, Kimmo I. (1996), The theory of quantaloids, Pitman Research Notes in Mathematics Series 348, Longman, Harlow, ISBN 0-582-29440-1, MR 1427263. See in particular p. 15.