Los "R-módulos" izquierdos, junto con sus homomorfismos de módulo, forman una categoría, escrita como Mod.