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 category, theory, point and/or view:
“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)
“The theory of the Communists may be summed up in the single sentence: Abolition of private property.”
—Karl Marx (1818–1883)
“No doubt, to a man of sense, travel offers advantages. As many languages as he has, as many friends, as many arts and trades, so many times is he a man. A foreign country is a point of comparison, wherefrom to judge his own.”
—Ralph Waldo Emerson (1803–1882)
“Among the virtues and vices that make up the British character, we have one vice, at least, that Americans ought to view with sympathy. For they appear to be the only people who share it with us. I mean our worship of the antique. I do not refer to beauty or even historical association. I refer to age, to a quantity of years.”
—William Golding (b. 1911)