 Contravariant right derived functor

For an additive contravariant left-exact functor, apply it to a projective resolution of $M$. Reversal of the arrows gives a cochain complex. Comparison maps lift using projectivity, and any two lifts are chain homotopic, so its cohomology is independent of the resolution. The functors are contravariant, vanish on projective modules in positive degrees, and send $0\to M^{\prime }\to M\to M^{\prime \prime }\to 0$ to $0\to F(M^{\prime \prime })\to F(M)\to F(M^{\prime })\to R^{1}F(M^{\prime \prime })\to \cdots$. Degreewise split resolutions from the horseshoe lemma yield this sequence.