# Inverse limit

In mathematics, the **inverse limit** (also called the **projective limit**) is a construction that allows one to "glue together" several related objects, the precise gluing process being specified by morphisms between the objects. Thus, inverse limits can be defined in any category although their existence depends on the category that is considered. They are a special case of the concept of limit in category theory.

By working in the dual category, that is by reverting the arrows, an inverse limit becomes a direct limit or *injective limit*, and a *limit* becomes a colimit.

In some categories, the inverse limit of certain inverse systems does not exist. If it does, however, it is unique in a strong sense: given any two inverse limits *X* and *X'* of an inverse system, there exists a *unique* isomorphism *X*′ → *X* commuting with the projection maps.

(pronounced "lim one") such that if (*A*_{i}, *f*_{ij}), (*B*_{i}, *g*_{ij}), and (*C*_{i}, *h*_{ij}) are three inverse systems of abelian groups, and

The name "Mittag-Leffler" for this condition was given by Bourbaki in their chapter on uniform structures for a similar result about inverse limits of complete Hausdorff uniform spaces. Mittag-Leffler used a similar argument in the proof of Mittag-Leffler's theorem.

The following situations are examples where the Mittag-Leffler condition is satisfied:

More generally, if *C* is an arbitrary abelian category that has enough injectives, then so does *C*^{I}, and the right derived functors of the inverse limit functor can thus be defined. The *n*th right derived functor is denoted

In the case where *C* satisfies Grothendieck's axiom (AB4*), Jan-Erik Roos generalized the functor lim^{1} on **Ab**^{I} to series of functors lim^{n} such that

It was thought for almost 40 years that Roos had proved (in *Sur les foncteurs dérivés de lim. Applications. *) that lim^{1} *A*_{i} = 0 for (*A*_{i}, *f*_{ij}) an inverse system with surjective transition morphisms and *I* the set of non-negative integers (such inverse systems are often called "Mittag-Leffler sequences"). However, in 2002, Amnon Neeman and Pierre Deligne constructed an example of such a system in a category satisfying (AB4) (in addition to (AB4*)) with lim^{1} *A*_{i} ≠ 0. Roos has since shown (in "Derived functors of inverse limits revisited") that his result is correct if *C* has a set of generators (in addition to satisfying (AB3) and (AB4*)).

The categorical dual of an inverse limit is a direct limit (or inductive limit). More general concepts are the limits and colimits of category theory. The terminology is somewhat confusing: inverse limits are a class of limits, while direct limits are a class of colimits.