25 Sep
1991
25 Sep
'91
10:35 p.m.
Date: Sat, 21 Sep 91 22:33+0000 From: Paul Taylor <pt@doc.ic.ac.UK>
Please make it clear to us which is final and which initial.
Restriction along a final functor induces an isomorphism between colimits. { Of interest may be the fact that every functor factors into a final functor followed by a discrete fibration (Street-Walters Bull. AMS 79 (1973)); a discussion of such functors is contained there. Unfortunately, the proof of the factorisation contains a misleading step about composites of Kan extensions; we were over-zealous in trying to keep the account short for the Bulletin (we had proved it other ways).} Regards, Ross ===============================