El axioma de pegado es ahora el que "F" torna todos los colímites en límites.