Cone (category Theory) - Definition

Definition

Let F : JC be a diagram in C. Formally, a diagram is nothing more than a functor from J to C. The change in terminology reflects the fact that we think of F as indexing a family of objects and morphisms in C. The category J is thought of as an "index category". One should consider this in analogy with the concept of an indexed family of objects in set theory. The primary difference is that here we have morphisms as well.

Let N be an object of C. A cone from N to F is a family of morphisms

for each object X of J such that for every morphism f : XY in J the following diagram commutes:

The (usually infinite) collection of all these triangles can be (partially) depicted in the shape of a cone with the apex N. The cone ψ is sometimes said to have vertex N and base F.

One can also define the dual notion of a cone from F to N (also called a co-cone) by reversing all the arrows above. Explicitly, a cone from F to N is a family of morphisms

for each object X of J such that for every morphism f : XY in J the following diagram commutes:

Read more about this topic:  Cone (category Theory)

Famous quotes containing the word definition:

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)

    It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.
    François, Duc De La Rochefoucauld (1613–1680)

    Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.
    Elaine Heffner (20th century)