A generalization of the Gabriel-Popescu theorem (Q1878455)

A fully faithful functor between arbitrary categories is called a localization if it has a left adjoint commuting with finite limits. For a small pre-additive category \(\mathbf{u}\) denote by \(\text{Pr}(\mathbf{u})={\mathcal A}dd(\mathbf{u}^{\text{op}},{\mathcal A}b)\) the additive functor category of (additive) presheaves. Throughout \(u:\mathbf{u}\to \mathcal{C}\) will be an additive functor from a small pre-additive category \(\mathbf{u}\) to a Grothendieck category \(\mathcal{C}\). A collection of maps \(U_i\to U\) in \(\mathbf{u}\) will be called epimorphic (with respect to \(u\)) if the induced map \(\coprod_iu(U_i)\to u(U)\) is an epimorphism in \(\mathcal{C}\). It is said that \(u\) satisfies: (G) if the objects \(u(U)\) for \(U\) in \(\mathbf{u}\) form a generating family for \(\mathcal{C}\); (F) if for every map \(c:u(U)\to u(V)\) in \(\mathcal{C}\) there exists an epimorphic collection \(f_i:U_i\to U\) such that \(cu(f_i)\) is in the image of \(u\) for all \(i\); (FF) if for every map \(f:U\to V\) in the kernel of \(u\) there exists an epimorphic collection \(f_i:U_i\to U\) such that \(ff_i=0\) for all \(i\). The main result of the paper, which generalizes the Gabriel-Popescu theorem, states that the following are equivalent for \(u:\mathbf{u}\to \mathcal{C}\): (1) The functor \(\mathcal{C}\to \text{Pr}(\mathbf{u}): C\mapsto \mathcal{C}(u(-),C)\) is a localization; (2) \(u\) satisfies the conditions (G), (F) and (FF).