JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

Universal Properties: Products, Coproducts, Limits

The deep idea: define objects not by construction but by the maps in or out of them. Products and coproducts, initial and terminal objects, then limits and colimits — and why a thing with a universal property is unique up to unique isomorphism.

Products and coproducts by their maps

Here is the move that makes category theory powerful. The [[categorical-product|product]] of A and B is an object A×B with projections p : A×B → A, q : A×B → B such that for any object T with maps f : T → A and g : T → B, there is a unique h : T → A×B with p∘h = f and q∘h = g. We did not say what A×B is made of — we said how everything maps into it. That requirement, a universal property, pins the object down.

  1. In Set, the product is the cartesian product A × B with the obvious projections; the unique h is t ↦ (f(t), g(t)).
  2. In Grp, the product is the direct product G × H with componentwise operation; in Vect, the direct sum V ⊕ W (finite case).
  3. The [[coproduct|coproduct]] reverses all arrows: maps out of A and B factor uniquely through A ⊔ B. In Set it is disjoint union; in Vect, direct sum; in Grp, the free product; in CRing, the tensor product of rings. Same universal shape, wildly different concrete objects.
Product universal property as a commuting diagram:

         T
        /|\
     f / |h\ g       <-- h is the UNIQUE arrow making
      /  |  \            both triangles commute
     v   v   v
     A<--AxB-->B
        p   q

Uniqueness up to UNIQUE iso. Suppose P and P' both satisfy
the product property for (A,B). Each maps into the other by
its universal arrow:
   u : P -> P'   (from P's maps into A,B)
   v : P' -> P   (from P's maps into A,B)
Then v o u : P -> P satisfies the SAME property that id_P
does (projections unchanged). By the UNIQUENESS clause,
v o u = id_P; symmetrically u o v = id_{P'}.
=> P and P' are isomorphic, by a UNIQUE iso compatible with
the projections. The product is well-defined 'as an object
in C', construction-independent.
Why a universal property determines its object up to unique isomorphism — the argument is always this.

Initial, terminal, and the limit umbrella

Two degenerate but vital cases. An [[initial-object|initial object]] 0 has exactly one arrow 0 → A to every object; a [[terminal-object|terminal object]] 1 has exactly one arrow A → 1 from every object. In Set, ∅ is initial and any singleton is terminal. In Grp the trivial group is both. In CRing, Z is initial and the zero ring is terminal. By the same argument as above, initial and terminal objects are unique up to unique isomorphism.

All of these are special [[alg-limit|limits]]. A limit is a universal cone over a diagram: the terminal object is the limit of the empty diagram, the product is the limit of two unconnected objects, and the [[pullback|pullback]] (fibered product) is the limit of A → C ← B. Dually, [[colimit|colimits]] are universal cocones: initial object, coproduct, and pushout. Quotients, kernels, and direct limits all fit here. Learning to read “this is a limit / colimit” turns scattered constructions into one vocabulary.