 that arbitrary colimits and coproducts (direct sums) exist in formula_7.Coproducts in a Grothendieck category are exact (i.e.the coproduct of a family of short exact sequences is again a short exact sequence), but products need not be exact.