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:
“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)
“The theory seems to be that so long as a man is a failure he is one of God’s chillun, but that as soon as he has any luck he owes it to the Devil.”
—H.L. (Henry Lewis)
“If twins are believed to be less intelligent as a class than single-born children, it is not surprising that many times they are also seen as ripe for social and academic problems in school. No one knows the extent to which these kind of attitudes affect the behavior of multiples in school, and virtually nothing is known from a research point of view about social behavior of twins over the age of six or seven, because this hasn’t been studied either.”
—Pamela Patrick Novotny (20th century)
“Beauty depends on size as well as symmetry. No very small animal can be beautiful, for looking at it takes so small a portion of time that the impression of it will be confused. Nor can any very large one, for a whole view of it cannot be had at once, and so there will be no unity and completeness.”
—Aristotle (384 B.C.–322 B.C.)