Con esta comprensión, un "R-módulo" izquierdo es un funtor aditivo (covariante) de "R" a la categoría Ab grupos abelianos.