Disjoint Union - Category Theory Point of View

Category Theory Point of View

In category theory the disjoint union is defined as a coproduct in the category of sets.

As such, the discrete union is defined up to an isomorphism, and the above definition is just one realization of the coproduct, among others. When the sets are pairwise disjoint, the usual union is another realization of the coproduct. This justifies the second definition in the lead.

This categorical aspect of the discrete union explains why is frequently used, instead of, to denote it.

Read more about this topic:  Disjoint Union

Famous quotes containing the words point of view, category, theory, point and/or view:

    Parents who want a fresh point of view on their furniture are advised to drop down on all fours and accompany the nine or ten month old on his rounds. It is probably many years since you last studied the underside of a dining room chair. The ten month old will study this marvel with as much concentration and reverence as a tourist in the Cathedral of Chartres.
    Selma H. Fraiberg (20th century)

    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)

    The theory of truth is a series of truisms.
    —J.L. (John Langshaw)

    For pain is perhaps but a violent pleasure? Who could determine the point where pleasure becomes pain, where pain is still a pleasure? Is not the utmost brightness of the ideal world soothing to us, while the lightest shadows of the physical world annoy?
    HonorĂ© De Balzac (1799–1850)

    Let us never accept the point of view that mysteries are written by hacks. The poorest of us shed our blood over every chapter. The best of us start from scratch with every new book.
    Raymond Chandler (1888–1959)