 A Grothendieck category is called "locally finitely generated" if it has a set of finitely generated generators (i.e.if there exists a family formula_109 of finitely generated objects such that to every object formula_17 there exist formula_111 and a non-zero morphism formula_112; equivalently