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:
“A nation’s domestic and foreign policies and actions should be derived from the same standards of ethics, honesty and morality which are characteristic of the individual citizens of the nation.”
—Jimmy Carter (James Earl Carter, Jr.)
“The quality of moral behaviour varies in inverse ratio to the number of human beings involved.”
—Aldous Huxley (1894–1963)
“An educational method that shall have liberty as its basis must intervene to help the child to a conquest of liberty. That is to say, his training must be such as shall help him to diminish as much as possible the social bonds which limit his activity.”
—Maria Montessori (1870–1952)