La categoría dual de un límite inverso es un límite directo (o límite inductivo).