 Every category formula_100 is locally finitely generated.An object formula_17 in a Grothendieck category is called "finitely presented" if it is finitely generated and if every epimorphism formula_117 with finitely generated domain formula_118 has a finitely generated kernel.Again, this generalizes the notion of finitely presented modules.