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. ...