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:
“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)
“Here I swear, and as I break my oath may ... eternity blast me, here I swear that never will I forgive Christianity! It is the only point on which I allow myself to encourage revenge.... Oh, how I wish I were the Antichrist, that it were mine to crush the Demon; to hurl him to his native Hell never to rise again—I expect to gratify some of this insatiable feeling in Poetry.”
—Percy Bysshe Shelley (1792–1822)
“But let the past as nothing be. For the future my view is that the fight must go on.”
—Abraham Lincoln (1809–1865)