Derived Projective Limits of Topological Abelian Groups

We prove that the category of topological Abelian groups is quasi-Abelian. Using results about derived projective limits in quasi-Abelian categories, we study exactness properties of the projective limit functor in the category of topological Abelian groups.