 Solution

We use the general adjoint functor theorem in its solution-set form. Let $G:\mathcal{D}\to \mathcal{C}$ be a functor between locally small categories, with $\mathcal{D}$ a complete category. Then $G$ has a left adjoint exactly when it preserves all small categorical limits and, for each $C\in \mathcal{C}$, there is a set-indexed familysuch that every $u:C\to GD$ factors as $Gf{u}_i$ for some $i$ and some $f:D_i\to D$. This is the solution-set condition. The indexing family is a set, whereas the entire comma category $(C\downarrow G)$ can be large.

We first prove the initial-object lemma for complete categories with a weakly initial set. Let $\mathcal{E}$ be locally small and complete, with a weakly initial set $(E_i{)}_{i\in I}$. Its product in a category $W={\prod }_i{E}_i$ is weakly initial: follow a projection by a map from the corresponding $E_i$ to any desired object. The hom-set $\mathcal{E}(W,W)$ is a set, so we can form the simultaneous equalizerThis is a small limit; equivalently, equalize the family of endomorphisms with the family of identity maps into a product of copies of $W$. Every object receives a map from $E$, since it receives one from $W$.

To prove uniqueness, let $a,b:E\rightrightarrows B$, and take their equalizer $j:V\to E$. Weak initiality of $W$ gives $t:W\to V$. Since $ejt$ is an endomorphism of $W$, the defining property of $e$ givesThe monomorphism $e$ cancels, yielding $jte=1_E$. Thus $j$ is both a monomorphism and a split epimorphism, hence an isomorphism. Its equalizer property now implies $a=b$. Therefore $E$ is initial.

Fix $C$. Small categorical limits in $(C\downarrow G)$ are obtained from the limits in $\mathcal{D}$: preservation by $G$ supplies the unique map from $C$ to the image of the limiting object. The comma category is locally small, and the solution family is a weakly initial set in it. The lemma supplies an initial object $(LC,{\eta }_C:C\to GLC)$.

For $k:C\to C^{\prime }$, initiality gives a unique arrow $Lk:LC\to L{C}^{\prime }$ satisfying $G(Lk){\eta }_C={\eta }_{C^{\prime }}k$. Uniqueness proves preservation of identities and composition, so $L$ is a functor. Initiality also gives natural bijectionswhich prove $L⊣G$.

Conversely, if $L⊣G$, the singleton ${\eta }_C:C\to GLC$ is a solution set by the adjunction bijection. To see that $G$ preserves a small limit $D={\lim }_j{D}_j$, use the adjunction and the limit property to obtain, naturally in $C$,This is precisely the universal property of the image limit cone. It proves the necessity of both hypotheses.