// Workers AI · traducción al español
cuántico
En matemáticas, un cuantaloide es una categoría enriquecida por la categoría Sup de lattices completos con mapas supremum-preservantes. En otras palabras, para cualquier objeto a y b el objeto Hom entre ellos no es sólo un conjunto sino una lattice completa, de tal manera que la composición de morfismos preserva todas las articulaciones:
Traducción generada por IA. El artículo original en inglés continúa abajo.
Quantaloid
From Wikipedia, the free encyclopedia
In mathematics , a quantaloid is a category enriched over the category Sup of complete lattices with supremum-preserving maps .[ 1] objects a and b the Hom object between them is not just a set but a complete lattice , in such a way that composition of morphisms preserves all joins:
(
⋁
i
f
i
)
∘
(
⋁
j
g
j
)
=
⋁
i
,
j
(
f
i
∘
g
j
)
{\displaystyle (\bigvee _{i}f_{i})\circ (\bigvee _{j}g_{j})=\bigvee _{i,j}(f_{i}\circ g_{j})}
The endomorphism lattice
H
o
m
(
X
,
X
)
{\displaystyle \mathrm {Hom} (X,X)}
X
{\displaystyle X}
quantale , whence the name.
↑ 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 p. 15 .
