Limits and Colimits
February-25-11
10:19 AM
A limit of the diagram F : J → C is a cone (L, φ) to F such that for any other cone (N, ψ) to F there exists a unique morphism u : N → L such that φX o u = ψX for all X in J.
Pasted from <[link])> 
A colimit of a diagram F : J → C is a co-cone (L, φ) of F such that for any other co-cone (N, ψ) of F there exists a unique morphism u : L → N such that u o φX = ψX for all X in J.
Pasted from <[link])> 