Exactness of direct limits via an injective cogenerator
    
    
    We show that a complete abelian category with an injective
      cogenerator has exact direct limits (i.e. satisfies Grothendieck's
      AB5 condition) if and only if one (or any) injective cogenerator
      is pure-injective in the sense of Jensen and Lenzing (i.e. the
      summing maps from coproducts extend to products). The result is
      motivated by tilting theory and the proof uses a representation
      theorem for the dual setting of cocomplete abelian categories with
      a projective generator via additive monads on the category of
      sets. This is an account on joint work with Leonid
      Positselski (arXiv:1805.05156).