Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Categoría coma

Índice Categoría coma

En matemáticas, una categoría coma (siendo un caso especial una sobrecategoría (''slice category'')) es una construcción en teoría de categorías.

9 relaciones: Categoría (matemáticas), Codominio, Coma (puntuación), Diagrama conmutativo, Funtor, Morfismo, Teoría de categorías, William Lawvere, 1963.

Categoría (matemáticas)

En teoría de categorías, una categoría es una estructura algebraica que consta de una colección de objetos, conectados unos con otros mediante flechas tales que se cumplen las siguientes propiedades básicas: las flechas se pueden componer unas con otras de manera asociativa, y para cada objeto existe una flecha que se comporta como un elemento neutro bajo la composición.

¡Nuevo!!: Categoría coma y Categoría (matemáticas) · Ver más »

Codominio

En matemáticas, el codominio (también llamado contradominio, recorrido, conjunto final o conjunto de llegada) de una función f \colon X \to Y \, es un conjunto Y\, al que pertenecen todos los valores de salida de la función.

¡Nuevo!!: Categoría coma y Codominio · Ver más »

Coma (puntuación)

La coma es un signo ortográfico signo de puntuación que se representa con una forma idéntica a la de un apóstrofo y/o una comilla simple de cierre, a diferencia de estos signos, el cuerpo de la coma se sitúa en el extremo bajo de la línea base y la colita va en la parte alta del asta descendente.

¡Nuevo!!: Categoría coma y Coma (puntuación) · Ver más »

Diagrama conmutativo

En matemática, y especialmente en teoría de categorías, un diagrama conmutativo es un diagrama de objetos (también conocidos como vértices), morfismos (también conocidos como flechas o aristas) y rutas o caminos, tales que todas las rutas directas en el diagrama con los mismos puntos finales y mismo comienzo conducen al mismo resultado por composición.

¡Nuevo!!: Categoría coma y Diagrama conmutativo · Ver más »

Funtor

En teoría de categorías un funtor o functor es una función de una categoría a otra que lleva objetos a objetos y morfismos a morfismos de manera que la composición de morfismos y las identidades se preserven.

¡Nuevo!!: Categoría coma y Funtor · Ver más »

Morfismo

En varios campos de las matemáticas, se llaman morfismos (u homomorfismos) a las aplicaciones entre estructuras matemáticas que preservan la estructura interna.

¡Nuevo!!: Categoría coma y Morfismo · Ver más »

Teoría de categorías

La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas como una sola, mediante el uso de objetos y morfismos.

¡Nuevo!!: Categoría coma y Teoría de categorías · Ver más »

William Lawvere

F.

¡Nuevo!!: Categoría coma y William Lawvere · Ver más »

1963

1963 fue un año común comenzado en martes según el calendario gregoriano.

¡Nuevo!!: Categoría coma y 1963 · Ver más »

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »