In mathematics, a quantaloid is a category enriched over the category Sup of suplattices.[1] In other words, for any objects a and 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:
![{\displaystyle (\bigvee _{i}f_{i})\circ (\bigvee _{j}g_{j})=\bigvee _{i,j}(f_{i}\circ g_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a2961d546706a0d4de4a304d1d42acf6084dd55)
The endomorphism lattice
of any object
in a quantaloid is a quantale, whence the name.
References
- ^ Rosenthal, Kimmo I. (1996), The theory of quantaloids, Pitman Research Notes in Mathematics Series, vol. 348, Longman, Harlow, ISBN 0-582-29440-1, MR 1427263. See in particular p. 15.
This page was last edited on 27 January 2022, at 20:35