Límite inverso

En matemáticas, el límite inverso (también llamado límite proyectivo) es una construcción que permite "pegar" varios objetos relacionados, la manera precisa del proceso de pegado es especificada mediante morfismos entre los objetos.

El límite inverso y las proyecciones naturales satisfacen una propiedad universal descrita en la próxima sección.

El límite inverso puede ser definido en forma abstracta en una categoría arbitraria por medio de una propiedad universal.

Sea (Xi, fij) un sistema inverso de objetos y morfismos en una categoría C (con la misma definición indicada previamente).

Es de notar que un sistema inverso en la categoría C admite una descripción alternativa mediante functors.