Otra manera que está más en línea con la teoría de categorías es extraer la propiedad de "elevación" que transporta de los libres a los módulos proyectivos.