Subject: history of lim^1 (for toplist)
Date: Tue, 17 Jul 2001 18:03:48 -0400 (EDT)
From: Claude Schochet <claude@mersenne.math.wayne.edu>
To: Don Davis <dmd1@lehigh.edu>

Who first proved that an inverse sequence of short exact sequences of
abelian groups produces the 6 term lim - lim^1 sequence? In principle I
suppose that it follows from Cartan-Eilenberg's work on derived functors,
but it isn't explicit there. Eilenberg-Steenrod point out that lim is not
an exact functor without some additional assumptions (which imply
Mittag-Leffler and hence lim^1 = 0), but don't go further.

  Thanks.