 If formula_101 and both formula_102 and formula_103 are finitely presented, then so is formula_17.In a locally finitely generated Grothendieck category formula_107, the finitely presented objects can be characterized as follows