Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 23 / 1

Let $D:I\to \mathcal{C}$ be a finite diagram. Form the finite categorical productsThere are two morphisms $s,t:P\rightrightarrows Q$: their components at $u:i\to j$ are $D(u){\pi }_i$ and ${\pi }_j$, respectively. Let $e:L\to P$ be their equaliser. Then ${\ell }_i={\pi }_{i}e$ satisfy $D(u){\ell }_i={\ell }_j$, so they constitute a cone over a diagram.

Any other cone $x_i:X\to D(i)$ uniquely determines $x:X\to P$. Its cone equations say precisely that $sx=tx$. The equaliser therefore gives a unique $h:X\to L$ with $eh=x$, and thus ${\ell }_{i}h=x_i$. Conversely these component equations force $eh=x$ by the categorical product universal property, so there is exactly one such mediator. This proves that $(L,{\ell }_i)$ is a categorical limit of $D$.

The empty categorical products are included: if $I$ is empty, $P$ and $Q$ are terminal and the construction gives the empty categorical limit. Thus finite categorical products and equalisers give every finite categorical limit, as a special case of the construction of small limits from products and equalizers.

Let $1$ be a terminal object. The pullback of the unique arrows $A\to 1\leftarrow B$ is a binary categorical product: maps $X\to A$ and $X\to B$ automatically have equal composites into $1$, so the pullback universal property is exactly the categorical product universal property.

For parallel arrows $f,g:A\rightrightarrows B$, form $B\times B$ and take the pullback of $⟨f,g⟩:A\to B\times B$ along the diagonal $\delta :B\to B\times B$. Write the resulting projections as $e:E\to A$ and $b:E\to B$. The pullback equation givesIf $u:X\to A$ satisfies $fu=gu$, the pair $(u,fu)$ is a pullback cone, producing a unique $v:X\to E$ with $ev=u$ and $bv=fu$. The second condition is forced by the first, since $b=fe$. Thus $e$ is the equaliser of $f,g$.

The terminal object and iterated binary categorical products give all finite categorical products, including the nullary one. Part (a) therefore proves pullbacks and a terminal object give all finite categorical limits.