Las construcciones universales son fundamentales para la teoría de categorías. Permiten definir objetos, al menos hasta isomorfismo, describiendo su relación con otros objetos. Hasta ahora hemos visto...Las construcciones universales son fundamentales para la teoría de categorías. Permiten definir objetos, al menos hasta isomorfismo, describiendo su relación con otros objetos. Hasta ahora hemos visto este tema en varias formas diferentes: encuentros y uniones, conexiones y complementos de Galois, límites, y estructuras libres y presentadas. Aquí dirigimos nuestra atención a los colímites.
