Límite Inductivo

El colímite de un sistema dirigido (directo) de objetos y morfismos que preservan la estructura: un objeto con aplicaciones canónicas desde cada etapa que es universal para recibir morfismos compatibles desde el sistema; los elementos se representan por clases de equivalencia de elementos de alguna etapa bajo la identificación eventual.