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)
“Lucretius
Sings his great theory of natural origins and of wise conduct; Plato
smiling carves dreams, bright cells
Of incorruptible wax to hive the Greek honey.”
—Robinson Jeffers (1887–1962)
“At some point in life the world’s beauty becomes enough. You don’t need to photograph, paint or even remember it. It is enough.”
—Toni Morrison (b. 1931)
“It is an accepted fact and one that is wholly in accordance with a proper American spirit of democracy, that girls should be educated with a view to earning their own living. A specified and sustained occupation, having in end a definite purpose, is undoubtedly a help to every human being.”
—Clara (Marquise)