Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 24 / 1 / ii

Take the category of ordinals in reverse order ${\mathbf{Ord}}^{\mathrm{op}}$, with a unique arrow $\alpha \to \beta$ exactly when $\alpha \ge \beta$, and the unique functorBoth categories are complete categories. A small limit in the ordinal category is the supremum of the ordinals occurring in the diagram; the empty supremum is $0$, its terminal object. The functor $G$ preserves all these categorical limits, and both categories are locally small categories.

A left adjoint would select an initial object of ${\mathbf{Ord}}^{\mathrm{op}}$, meaning an ordinal at least as large as every ordinal. No such object exists. More specifically, any set of candidate ordinals has an upper bound $\gamma$, and none of its members maps to $\gamma +1$. Thus the solution-set condition fails. This example isolates the genuine smallness requirement in the general adjoint functor theorem.