In mathematics, in the field of homological algebra, given an abelian category
having enough injectives and an additive (covariant) functor an acyclic object with respect to
, or simply an
-acyclic object, is an object
are the right derived functors of