Implication Details

Assumptions: Grothendieck abelian

Conclusions: abelian, coproducts, exact filtered colimits, generator

This is an equivalence.

Reason: This holds by definition.