I’ve been reading an interesting paper of Adams, Haeberly, Jackowski, and May on the Atiyah-Segal completion theorem. One of the surprising features of this paper is the heavy use of pro-abelian groups to deal with the inconvenient fact that inverse limits are generally not exact in abelian groups. I’d like to blog about the proof in this paper, but first I’d like to go through some of the background on pro-objects. In this post, I’ll describe the entirely dual picture of -objects, which is (at least for me) easier to understand.

**1. Definition**

Let be a small abelian category. Then there is an imbedding

of into the larger category of *ind-objects *of . One benefit of doing this is that is a larger abelian category containing , in which there are enough injectives.

I always found the traditional definition of these confusing, so let me describe another definition (which happens to generalize nicely to the -categorical case, and which is where I learned it from).

Let be any category. Then we know that the category is the “free cocompletion” of : that is, given any cocomplete category , we have an equivalence

between functors and colimit-preserving functors . The -category is defined to have an analogous universal property, except that one just takes filtered colimits. (more…)