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:

    No one can doubt the purpose for which the Nation now seeks to use the Democratic Party. It seeks to use it to interpret a change in its own plans and point of view.
    Woodrow Wilson (1856–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)

    The theory of rights enables us to rise and overthrow obstacles, but not to found a strong and lasting accord between all the elements which compose the nation.
    Giuseppe Mazzini (1805–1872)

    There should be less talk; a preaching point is not a meeting point. What do you do then? Take a broom and clean someone’s house. That says enough.
    Mother Teresa (b. 1910)

    The gentlemen [at a ball], as they passed and repassed, looked as if they thought we were quite at their disposal, and only waiting for the honour of their commands; and they sauntered about, in a careless indolent manner, as if with a view to keep us in suspense.... I thought it so provoking, that I determined in my own mind that, far from humouring such airs, I would rather not dance at all.
    Frances Burney (1752–1840)