Is every locally presentable abelian category with enough injective objects a Grothendieck category?
https://mathoverflow.net/questions/289418/locally-presentable-abelian-categories-with-enough-injective-objects
https://mathoverflow.net/questions/289418/locally-presentable-abelian-categories-with-enough-injective-objects