Cuantaloide

En matemáticas , un cuantaloide es una categoría enriquecida con la categoría Sup de suplatices . ^[1] En otras palabras, para cualesquiera objetos a y b el objeto de morfismo entre ellos no es simplemente un conjunto sino una red completa , de tal manera que la composición de morfismos preserva todas las uniones:

${\displaystyle (\bigvee _{i}f_{i})\circ (\bigvee _{j}g_{j})=\bigvee _{i,j}(f_{i}\circ g_{j})}$

La red de endomorfismos de cualquier objeto en un cuantoide es un cuantolo , de ahí el nombre. ${\displaystyle \mathrm {Hom} (X, X)}$${\estilo de visualización X}$