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:

    There are neither good nor bad subjects. From the point of view of pure Art, you could almost establish it as an axiom that the subject is irrelevant, style itself being an absolute manner of seeing things.
    Gustave Flaubert (1821–1880)

    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 struggle for existence holds as much in the intellectual as in the physical world. A theory is a species of thinking, and its right to exist is coextensive with its power of resisting extinction by its rivals.
    Thomas Henry Huxley (1825–95)

    This whole earth which we inhabit is but a point in space.
    Henry David Thoreau (1817–1862)

    The women, who had congregated in the groves, set up the most violent clamors, as they invariably do here as elsewhere on every occasion of excitement and alarm, with a view of tranquilizing their own minds and disturbing other people.
    Herman Melville (1819–1891)