Categoría de conjuntos preordenados

Categoría de conjuntos preordenados

Categoría de conjuntos preordenados

La categoría Ord 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.

Obtenido de "Categor%C3%ADa de conjuntos preordenados"

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Categoría de conjuntos preordenados — La categoría Ord 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 …   Enciclopedia Universal

  • Lista de tópicos en teoría de las categorías — Anexo:Lista de tópicos en teoría de las categorías Saltar a navegación, búsqueda Plantilla:Listas Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos …   Wikipedia Español

  • Anexo:Glosario de teoría de categorías — Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos 4 Funtores …   Wikipedia Español

  • Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor …   Wikipedia Español

  • Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… …   Wikipedia Español

  • Estructura trivial — Saltar a navegación, búsqueda En topología y campos relacionados de las matemáticas, se tienen situaciones extremales, tradicionalmente subsumidas en el concepto de conjunto. Un espacio (indiscreto) discreto es un ejemplo particularmente simple… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”