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 the point of view of the pharmaceutical industry, the AIDS problem has already been solved. After all, we already have a drug which can be sold at the incredible price of $8,000 an annual dose, and which has the added virtue of not diminishing the market by actually curing anyone.
    Barbara Ehrenreich (b. 1941)

    Despair is typical of those who do not understand the causes of evil, see no way out, and are incapable of struggle. The modern industrial proletariat does not belong to the category of such classes.
    Vladimir Ilyich Lenin (1870–1924)

    It is not enough for theory to describe and analyse, it must itself be an event in the universe it describes. In order to do this theory must partake of and become the acceleration of this logic. It must tear itself from all referents and take pride only in the future. Theory must operate on time at the cost of a deliberate distortion of present reality.
    Jean Baudrillard (b. 1929)

    I laugh when I think that all of Rome made it a point not to pronounce Drusilla’s name. Because Rome was mistaken for all those years. Love is not enough for me, and I understood that then.... To love someone is to accept to grow old with her. An old Drusilla is far worse than a dead one.
    Albert Camus (1913–1960)

    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)