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:

    From a purely external point of view there is no will; and to find will in any phenomenon requires a certain empathy; we observe a man’s actions and place ourselves partly but not wholly in his position; or we act, and place ourselves partly in the position of an outsider.
    —T.S. (Thomas Stearns)

    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 first reason for psychology’s failure to understand what people are and how they act, is that clinicians and psychiatrists, who are generally the theoreticians on these matters, have essentially made up myths without any evidence to support them; the second reason for psychology’s failure is that personality theory has looked for inner traits when it should have been looking for social context.
    Naomi Weisstein (b. 1939)

    There’s a point of poverty at which the spirit isn’t with the body all the time. It finds the body really too unbearable. So it’s almost as if you were talking to the soul itself. And a soul’s not properly responsible.
    Louis-Ferdinand Céline (1894–1961)

    One of the great penalties those of us who live our lives in full view of the public must pay is the loss of that most cherished birthright of man’s privacy.
    Mary Pickford (1893–1979)