In mathematics, an effaceable functor is an additive functor F between abelian categories C and D for which, for each object A in C, there exists a monomorphism
A theorem of Grothendieck says that every effaceble δ-functor (i.e., effaceable in each degree) is universal.
References
Effaceable functor Wikipedia(Text) CC BY-SA