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 in such that
where are the right derived functors of .