En analogía, se pueden también definir prehaces y haces de grupos abelianos, considerando los funtores contravariantes "F": "C" formula_1Ab.