Cone (category Theory) - Category of Cones

Category of Cones

By the above, we can define the category of cones to F as the comma category (Δ ↓ F). Morphisms of cones are then just morphisms in this category. As one might expect a morphism from a cone (N, ψ) to a cone (L, φ) is just a morphism NL such that all the "obvious" diagrams commute (see the first diagram in the next section).

Likewise, the category of co-cones from F is the comma category (F ↓ Δ).

Read more about this topic:  Cone (category Theory)

Famous quotes containing the words category of, category and/or cones:

    Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.
    Vladimir Ilyich Lenin (1870–1924)

    I see no reason for calling my work poetry except that there is no other category in which to put it.
    Marianne Moore (1887–1972)

    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)