In mathematics, in the field of homological algebra, given an abelian category C{\displaystyle {\mathcal {C}}} having enough injectives and an additive (covariant) functor
an acyclic object with respect to F{\displaystyle F}, or simply an F{\displaystyle F}-acyclic object, is an object A{\displaystyle A} in C{\displaystyle {\mathcal {C}}} such that