Download PDF - Derived functors of $\varprojlim$ and abelian ab3*- and Ab4*-categories with enough injectives