La categoríaOrd tiene conjuntos preordenados como objetos y funciones crecientes como morfismos. Esto es una categoría porque la composición de dos funciones crecientes es asimismo creciente.
Los monomorfismos en Ord son las funciones crecientes inyectivas. El conjunto vacío (considerado como un conjunto ordenado) es el objeto inicial de Ord; cualquier singleton es un objeto terminal.
El producto en Ord viene dado por el orden producto en el producto cartesiano. El coproducto es dado por la unión disjunta de conjuntos preordenados.
Tenemos un funtor de "olvido": Ord --> Set que asigna a cada conjunto preordenado el conjunto subyacente, y a cada función creciente la función subyacente. Este funtor es fiel, y por lo tanto Ord es una categoría concreta.
Datos:Q5051853
Noviembre 05, 2021
categoría, conjuntos, preordenados, categoría, tiene, conjuntos, preordenados, como, objetos, funciones, crecientes, como, morfismos, esto, categoría, porque, composición, funciones, crecientes, asimismo, creciente, monomorfismos, funciones, crecientes, inyect. La categoria Ord tiene conjuntos preordenados como objetos y funciones crecientes como morfismos Esto es una categoria porque la composicion de dos funciones crecientes es asimismo creciente Los monomorfismos en Ord son las funciones crecientes inyectivas El conjunto vacio considerado como un conjunto ordenado es el objeto inicial de Ord cualquier singleton es un objeto terminal El producto en Ord viene dado por el orden producto en el producto cartesiano El coproducto es dado por la union disjunta de conjuntos preordenados Tenemos un funtor de olvido Ord gt Set que asigna a cada conjunto preordenado el conjunto subyacente y a cada funcion creciente la funcion subyacente Este funtor es fiel y por lo tanto Ord es una categoria concreta Datos Q5051853 Obtenido de https es wikipedia org w index php title Categoria de conjuntos preordenados amp oldid 120188589, wikipedia, wiki, leyendo, leer, libro, biblioteca,
