From categories@mta.ca Tue Sep 24 19:11:01 1991 Received: from macc1.mta.ca by adder.maths.su.oz.au with SMTP (5.61++/10.0) id AA10186; Tue, 24 Sep 91 19:10:44 +1000 Date: Tue, 24 Sep 1991 00:26:58 EDT From: categories@mta.ca To: sydcat@maths.su.oz.au Message-Id: <0094f18d.df2677a0.4226@mta.ca> Subject: Re: A diagram lemma 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. K: A ---> C is initial if lim TK = lim T for all T: C ---> B, either existing if the other does. See Section 4.5 of my book "Basic Concepts of Enriched Category Theory", C.U.P. 1982, for a complete treatment of both the classical and enriched cases. Max Kelly, 25 Sept.91. =========================