cuántaloide

En matemáticas , un cuantoide es una categoría enriquecida sobre la categoría Sup de suplattices . ^[1] En otras palabras, para cualquier objeto a y b, el objeto de morfismo entre ellos no es solo 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 endomorfismo de cualquier objeto en un cuantoide es un cuanto , de ahí el nombre. ${\displaystyle \mathrm {Hom} (X,X)}$ ${\displaystyle X}$

Referencias

1. Rosenthal, Kimmo I. (1996), La teoría de los cuantos , Pitman Research Notes in Mathematics Series, vol. 348, Longman, Harlow, ISBN 0-582-29440-1, señor  1427263. Véase en particular la pág. 15.