 AB3 categories are abelian categories possessing arbitrary coproducts (hence, by the existence of quotients in abelian categories, also all colimits).AB5 categories are the AB3 categories in which filtered colimits of exact sequences are exact.Grothendieck categories are the AB5 categories with a generator.