En teoría de categorías, una rama de la matemática, se define el concepto abstracto de límite, el cual usa propiedades esenciales de construcciones universales tales como productos y límites inversos.