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:
“every subjective phenomenon is essentially connected with a single point of view, and it seems inevitable that an objective, physical theory will abandon that point of view.”
—Thomas Nagel (b. 1938)
“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)
“A theory if you hold it hard enough
And long enough gets rated as a creed....”
—Robert Frost (1874–1963)
“The human animal cannot be trusted for anything good except en masse. The combined thought and action of the whole people of any race, creed or nationality, will always point in the right direction.”
—Harry S. Truman (1884–1972)
“There is a hearty Puritanism in the view of human nature which pervades the instrument of 1787. It is the work of men who believed in original sin, and were resolved to leave open for transgressors no door which they could possibly shut.”
—James Bryce (1838–1922)