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