Consideremos un aniello R y a categoría de R-módulos a ezquierda. En iste caso a suma dreita existe y ye unica. A construcción se puet fer d'a siguient traza: sía  una familia de R-modulos a ezquierda, alavez  y fueras d'un numero finito totz os ai son zero  y  ye a inclusión de Ai en a i-ésima coordenata.