Resolución Proyectiva

Un complejo de cadenas de módulos proyectivos (u objetos proyectivos en una categoría abeliana) junto con una cuasi‑isomorfía (o aumentación) desde el complejo a un módulo dado M, que es exacto salvo en el grado cero; se usa para calcular fonctores derivados como Ext y Tor.