Derived Functors of The Inverse Limit
For an abelian category C, the inverse limit functor
is left exact. If I is ordered (not simply partially ordered) and countable, and C is the category Ab of abelian groups, the Mittag-Leffler condition is a condition on the transition morphisms fij that ensures the exactness of . Specifically, Eilenberg constructed a functor
(pronounced "lim one") such that if (Ai, fij), (Bi, gij), and (Ci, hij) are three projective systems of abelian groups, and
is a short exact sequence of inverse systems, then
is an exact sequence in Ab.
Read more about this topic: Inverse Limit
Famous quotes containing the words derived, inverse and/or limit:
“Ex oriente lux may still be the motto of scholars, for the Western world has not yet derived from the East all the light which it is destined to receive thence.”
—Henry David Thoreau (18171862)
“The quality of moral behaviour varies in inverse ratio to the number of human beings involved.”
—Aldous Huxley (18941963)
“Moreover, the universe as a whole is infinite, for whatever is limited has an outermost edge to limit it, and such an edge is defined by something beyond. Since the universe has no edge, it has no limit; and since it lacks a limit, it is infinite and unbounded. Moreover, the universe is infinite both in the number of its atoms and in the extent of its void.”
—Epicurus (c. 341271 B.C.)