 An object formula_17 in a Grothendieck category is called "finitely generated" if, whenever formula_17 is written as the sum of a family of subobjects of formula_17, then it is already the sum of a finite subfamily.