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)
“There never comes a point where a theory can be said to be true. The most that one can claim for any theory is that it has shared the successes of all its rivals and that it has passed at least one test which they have failed.”
—A.J. (Alfred Jules)
“Consider a man riding a bicycle. Whoever he is, we can say three things about him. We know he got on the bicycle and started to move. We know that at some point he will stop and get off. Most important of all, we know that if at any point between the beginning and the end of his journey he stops moving and does not get off the bicycle he will fall off it. That is a metaphor for the journey through life of any living thing, and I think of any society of living things.”
—William Golding (b. 1911)
“There is no absolute point of view from which real and ideal can be finally separated and labelled.”
—T.S. (Thomas Stearns)