Esto sugiere que, si "C" es cualquier categoría preaditiva, un funtor aditivo covariante de "C" a Ab sea considerado un módulo izquierdo generalizado sobre "C"; estos funtores forman una categoría de funtores "C"-Mod que es la generalización natural de la categoría de módulos "R"-Mod.