Resolución Inyectiva

Un complejo exacto I• formado por objetos inyectivos junto con un monomorfismo M → I0 que embebe el objeto o módulo M dado de modo que M → I• sea una quasi-isomorfía en grados positivos; se utiliza para calcular fonctores derivadas a la derecha aplicando un functor izquierdo-exacto a I• y tomando la homología.

Una resolución inyectiva de un objeto M en una categoría abeliana es un complejo exacto 0→M→I^0→I^1→… con cada I^i inyectivo; tal coresolución se usa para calcular funtores derivados derechos, p. ej. Ext^i(−,M) o los funtores derivados R^iΓ de un functor Γ left‑exacto.