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:
“To be just, that is to say, to justify its existence, criticism should be partial, passionate and political, that is to say, written from an exclusive point of view, but a point of view that opens up the widest horizons.”
—Charles Baudelaire (1821–1867)
“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 human species, according to the best theory I can form of it, is composed of two distinct races, the men who borrow and the men who lend.”
—Charles Lamb (1775–1834)
“The realization that he is white in a black country, and respected for it, is the turning point in the expatriate’s career. He can either forget it, or capitalize on it. Most choose the latter.”
—Paul Theroux (b. 1941)
“The use of literature is to afford us a platform whence we may command a view of our present life, a purchase by which we may move it.”
—Ralph Waldo Emerson (1803–1882)