Extending functors from the category of strict morphisms of inverse systems to the associated pro-category with applications to the first derived limit

Abstract

We show that functors on the category of strict morphisms of inverse systems which are indexed by arbitrary cofiltered small categories have at most one extension to the associated procategory and give conditions characterizing the existence of extensions. This is applied to provide a concrete extension of the first derived limit to the category of pro-groups.