Universal properties, Cartesian products, and disjoint unions
Universal properties are the heart of category theory. Rather than defining objects by their internal structure, we define them by how they relate to everything else. Products and coproducts are the simplest and most important examples.
The product A × B is defined by a universal property: for ANY object X with maps to A and B, there exists a unique map X → A × B making everything commute. Watch it appear!
Key insight: The product is not defined by what it "is" internally, but by how it relates to everything else — its universal property. This is the categorical way of thinking: define things by their relationships, not their internal structure.
In Set, the product of A and B is the Cartesian product A × B = { (a,b) | a ∈ A, b ∈ B }. The projections π₁ and π₂ extract the first and second components. Hover over pairs to see the projections!
Key insight: The Cartesian product is the "prototype" product. In other categories, the product might look different (direct product of groups, product topology), but it always satisfies the same universal property.
The coproduct (A + B or A ⊔ B) is the dual of the product — obtained by reversing all arrows. Click to flip between product and coproduct!
Key insight: Duality is a superpower of category theory: every theorem about products gives a free theorem about coproducts (just reverse all arrows). This is the principle of categorical duality.
The same universal property gives different concrete constructions in different categories. The definition is always the same; the realization depends on the category.
Key insight: Category theory unifies all these constructions under one concept — the same universal property that gives Cartesian products in Set gives direct products in Grp, product topologies in Top, and biproducts in Vect.