Límite (teoría de categorías)

La noción dual de colímite generaliza construcciones tales como uniones disjuntas, sumas directas, coproductos, pushouts y límites directos.Los límites y colímites, como las nociones fuertemente relacionadas con propiedades universales y funtores adjuntos, requieren un gran nivel de abstracción.Si el objeto en J es X, en la definición de cono que damos decimos "X" también al conjunto de flechas que van del objeto L sobre el que hacemos el cono hacia dicho X.Además, el cono sobre L lo denotaremos así: (L, X), queriendo decir que hacemos la colección de todas las familias de flechas que apuntan desde L, esto es, esos conjuntos de flechas "X" en la categoría codominio del funtor F y que hemos denominado "varias" para sugerir que pueden ser varias.Esto es, decimos que el cono (L, X) es un límite para el funtor F si y sólo si para todo otro cono (N, X) de F, existe un único morfismo u: N