Los módulos sobre anillos conmutativos se pueden generalizar en una dirección distinta: tome un espacio anillado ("X", O) y considere los haces de O-módulos.