I could name on the spot a bunch of abelian categories satisfying AB5 but I cannot think of any that satisfies AB5*. That is, it should have all limits and the cofiltered limits are exact. Is there any example that I should have in mind?