Re: A diagram lemma

Yes. Please excuse me if I think of (filtered) colimits instead, but this says that the co/limit over N, then over another N is that over NxN, in which the diagonal is co/final. =========================