Derived functors of lim ← and abelian ab3*- and Ab4*-categories with enough injectives Piotr Ossowski (1981) Colloquium Mathematicae