In mathematics, in the field of homological algebra, given an abelian category having enough injectives and an additive (covariant) functor

1. ,

an acyclic object such that

1. ,

are the right derived functors.

References