Projective Resolution

A chain complex of projective modules (or projective objects in an abelian category) together with a quasi‑isomorphism (or augmentation) from the complex to a given module M that is exact except at degree zero; used to compute derived functors such as Ext and Tor.