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:

    Only he has the calling for politics who is sure that he will not crumble when the world from his point of view is too stupid or base for what he wants to offer. Only he who in the face of all this can say “In spite of all!” has the calling for politics.
    Max Weber (1864–1920)

    The truth is, no matter how trying they become, babies two and under don’t have the ability to make moral choices, so they can’t be “bad.” That category only exists in the adult mind.
    Anne Cassidy (20th century)

    There is in him, hidden deep-down, a great instinctive artist, and hence the makings of an aristocrat. In his muddled way, held back by the manacles of his race and time, and his steps made uncertain by a guiding theory which too often eludes his own comprehension, he yet manages to produce works of unquestionable beauty and authority, and to interpret life in a manner that is poignant and illuminating.
    —H.L. (Henry Lewis)

    The fact that a believer is happier than a sceptic is no more to the point than the fact that a drunken man is happier than a sober one. The happiness of credulity is a cheap and dangerous quality.
    George Bernard Shaw (1856–1950)

    I will use treatment to help the sick according to my ability and judgment, but never with a view to injury and wrongdoing. Neither will I administer a poison to anybody when asked to do so, nor will I suggest such a course. Similarly, I will not give to a woman a pessary to cause abortion. I will keep pure and holy both my life and my art.
    Hippocrates (c. 460–c. 370 B.C.)