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 IX. 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 XF.

Si un objeto es tanto inicial como final, recibe el nombre de objeto cero.


Developed by StudentB