Cones and Limits
A cone with vertex N of a diagram D : J → C is a morphism from the constant diagram Δ(N) to D. The constant diagram is the diagram which sends every object of J to an object N of C and every morphism to the identity morphism on N.
The limit of a diagram D is a universal cone to D. That is, a cone through which all other cones uniquely factor. If the limit exists in a category C for all diagrams of type J one obtains a functor
- lim : CJ → C
which sends each diagram to its limit.
Dually, the colimit of diagram D is a universal cone from D. If the colimit exists for all diagrams of type J one has a functor
- colim : CJ → C
which sends each diagram to its colimit.
Read more about this topic: Diagram (category Theory)
Famous quotes containing the words cones and, cones and/or limits:
“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)
“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)
“Europe has what we do not have yet, a sense of the mysterious and inexorable limits of life, a sense, in a word, of tragedy. And we have what they sorely need: a sense of lifes possibilities.”
—James Baldwin (19241987)