8 relaciones: Categoría de conjuntos, Funtor, Inducción matemática, Matemáticas, Número natural, Objeto inicial, final y cero, Recursión, Teoría de categorías.
Categoría de conjuntos
En matemática, la categoría de conjuntos es categoría cuyos objetos son todos los conjuntos y los morfismos son las funciones.
¡Nuevo!!: Álgebra inicial y Categoría de conjuntos · 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!!: Álgebra inicial y Funtor · Ver más »
Inducción matemática
En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable n\, que toma una infinidad de valores enteros.
¡Nuevo!!: Álgebra inicial e Inducción matemática · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Álgebra inicial y Matemáticas · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Álgebra inicial y Número natural · Ver más »
Objeto inicial, final y cero
En teoría de categorías, una rama abstracta de las matemáticas, un objeto inicial de una categoría C es un objeto I en C tal que para todo objeto X en C existe un único morfismo I → X. La noción dual es la de objeto final es decir, un objeto F es final si para todo objeto X en C existe un único morfismo X → F. Si un objeto es tanto inicial como final, recibe el nombre de objeto cero.
¡Nuevo!!: Álgebra inicial y Objeto inicial, final y cero · Ver más »
Recursión
La recursión o recursividad es la forma en la cual se especifica un proceso basado en su propia definición.
¡Nuevo!!: Álgebra inicial y Recursión · 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!!: Álgebra inicial y Teoría de categorías · Ver más »