Abstract
Definimos de una manera elemental la categoría de pro-módulos indexados por N y caracterizamos los pro-módulos inyectivos y proyectivos. Construimos una resolución proyectiva y una inyectiva para cualquier pro-módulo. Finalmente analizamos la definición de los morfismos en la pro-categoría usando límites y definimos además lim¹