Limits and colimits are defined as universal cones. That is, cones through which all other cones factor. A cone φ from L to F is a universal cone if for any other cone ψ from N to F there is a unique morphism from ψ to φ.
Equivalently, a universal cone to F is a universal morphism from Δ to F (thought of as an object in CJ), or a terminal object in (Δ ↓ F).
Dually, a cone φ from F to L is a universal cone if for any other cone ψ from F to N there is a unique morphism from φ to ψ.
Equivalently, a universal cone from F is a universal morphism from F to Δ, or an initial object in (F ↓ Δ).
The limit of F is a universal cone to F, and the colimit is a universal cone from F. As with all universal constructions, universal cones are not guaranteed to exist for all diagrams F, but if they do exist they are unique up to a unique isomorphism.
Read more about this topic: Cone (category Theory)
Famous quotes containing the words universal and/or cones:
“The God whom science recognizes must be a God of universal laws exclusively, a God who does a wholesale, not a retail business.”
—William James (18421910)
“Here was a little of everything in a small compass to satisfy the wants and the ambition of the woods,... but there seemed to me, as usual, a preponderance of childrens toys,dogs to bark, and cats to mew, and trumpets to blow, where natives there hardly are yet. As if a child born into the Maine woods, among the pine cones and cedar berries, could not do without such a sugar-man or skipping-jack as the young Rothschild has.”
—Henry David Thoreau (18171862)