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:
“Commercial jazz, soap opera, pulp fiction, comic strips, the movies set the images, mannerisms, standards, and aims of the urban masses. In one way or another, everyone is equal before these cultural machines; like technology itself, the mass media are nearly universal in their incidence and appeal. They are a kind of common denominator, a kind of scheme for pre-scheduled, mass emotions.”
—C. Wright Mills (1916–62)
“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 children’s 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 (1817–1862)