Date: September 16 2022
Summary: Exploration on the disjoint union of sets.
Keywords: ##summary #category #theory #sets #union #archive
David Spivak, Category Theory for Scientists, Old Version. 2013.
To learn and understand the concept of coproducts within the context of category theory. Also, I came across the symbolic notation for what disjoint unions are and wanted to understand what the notation fully meant.
To build an intuitive sense of what a disjoint union is, consider the following.
Given two sets, , , the coproduct of these sets would be:
This also is referred to as the "disjoint union of sets". Although, it is important to note that an important aspect of this notation above is missing from the coproduct which will be explained in the section on a coproduct of a set and itself.
If given set , the coproduct of and itself would look like this:
In this case, and are unique inclusion functions that map each set in a coproduct to its disjoint union. The inclusion functions in my opinion, act as a sort of metadata that helps one know where elements of a disjoint union comes from.
NOTE: The author, David Spivak, in Category Theory for the Sciences presented the above notation for a coproduct of and itself. Personally, I found this notation very confusing and feel the formal set theory definition explained in the section on the set theory definition of a coproduct to be more useful here. If we revisited the operation , I am more inclined to write the problem and solution as follows:
Let , the value of is:
This big honking formulation is the formal set theoretic definition of a coproduct:
What this says loosely is that given a family of sets indexed by the index set , a coproduct is a set that enumerates every element in with its associated set. Referencing the example on a coproduct of a set and itself:
Let , the value of is:
The coproduct is a set which enumerates every element in both set and as a tuple with an associated index to say what set this element originated from (i.e. is the same from set ).
It is important to make clear that in category theory, these two syntaxes are seen:
Both refer to a disjoint union and both can be read as "the disjoint union of the family of sets indexed by the index set, ." Here, when we say "family of sets", they can either be a "set of subsets over a set " or a "set of sets where each set could be independent of one another."
Zelko, Jacob. Coproducts (Disjoint Unions). https://jacobzelko.com/09162022162129-coproducts-disjoints. September 16 2022.