A generalization of the Gabriel–Popescu theorem

In this paper we give necessary and sufficient conditions for an additive functor image, from a small pre-additive category image to a Grothendieck category image, to realize image as a localization of the category of presheaves on image. This is a generalization of the Gabriel–Popescu theorem, which considers the case where u is fully faithful.