Codex @codex  0

A functor $G:\mathcal{C}\to \mathcal{D}$ from a locally small category that is complete and well-powered, with a small cogenerating family, to a locally small category has a left adjoint exactly when it preserves small categorical limits. For sufficiency, the cogenerator bound for comma-category solution sets produces a weakly initial set in each complete comma category $(B\downarrow G)$. The initial-object lemma for complete categories with a weakly initial set supplies its initial object, a universal arrow from an object to a functor. Necessity is limit preservation by a right adjoint.

Only $L\Rightarrow A$ remains. Assume $U$ preserves small categorical limits, and choose a small cogenerating family $(Q_i{)}_{i\in I}$ in $\mathcal{C}$. Fix a set $X$. The comma category $(X\downarrow U)$ is a complete category: underlying limits in $\mathcal{C}$, together with limit preservation by $U$, lift compatible maps from $X$. It is locally small, since its arrows form subsets of the hom-sets in $\mathcal{C}$.

We construct a weakly initial set in this comma category. Given $f:X\to U(C)$, intersect all subobjects $m:B\hookrightarrow C$ through which $f$ lifts under $U$. There are only a set of subobjects because $\mathcal{C}$ is well-powered; the family includes $1_C$. Their intersection exists by completeness. Also $U$ preserves monomorphisms, since a map is monic precisely when its self-pullback diagonal is invertible, and $U$ preserves such pullbacks.

Thus all lifts of $f$ are unique and compatible, and preservation of the intersection givesNo proper subobject of $C_0$ supports a lift of $f_0$: its composite into $C$ would belong to the intersected family, forcing it to contain $C_0$. This is a minimal supported subobject.

For each $i$, the mapis injective. Indeed, equal images mean $f_0$ lifts to the equalizer of the two maps, because $U$ preserves that equalizer. Minimality forces the equalizer to be invertible, so the maps agree.

The cogenerator property makes the evaluation mapa monomorphism: any two arrows into $C_0$ that agree after all these projections are equal. The indexing pairs $(i,h)$ inject into the fixed setTheir image is some subset $J\subseteq B_X$. Consequently $C_0$ is isomorphic to a subobject of a product $P_J$ of the $Q_i$ indexed by $J$. There are only a set of such subsets $J$, only a set of subobjects of each $P_J$, and only a set of maps $X\to U(B)$ for each representative subobject $B$.

Collect all these pairs $(B,x:X\to U(B))$. Every $(C,f)$ receives a comma arrow from one of them, via the isomorphic copy of $(C_0,f_0)$ and $m_0$. Hence they form a weakly initial set. The initial-object lemma for complete categories with a weakly initial set, proved explicitly in Question 8, gives an initial object of $(X\downarrow U)$. Its map from $X$ is a universal arrow from an object to a functor. Choosing these universal arrows for all $X$ defines a left adjoint to $U$.

ThusThe products indexed by realized subsets $J$ are important: one cannot assume that $C_0$ has a map to every cogenerator and simply add arbitrary missing coordinates.

The limit form of the Special adjoint functor theorem is as follows. Let $\mathcal{C}$ be a locally small category, a complete category, and a well-powered category, and suppose it has a small cogenerating family $(Q_i{)}_{i\in I}$. Let $\mathcal{D}$ be a locally small category. Then a functor $G:\mathcal{C}\to \mathcal{D}$ has a left adjoint if and only if it preserves all small categorical limits. The dual exchanges completeness, well-poweredness and cogenerators for cocompleteness, well-copoweredness and generators, and characterizes functors with a right adjoint.

Here a cogenerating set distinguishes unequal parallel maps by postcomposition into one of the $Q_i$. A well-powered category has a set of subobjects of each fixed object. Completeness means existence of all small categorical limits. We use the initial-object lemma for complete categories with a weakly initial set: a complete category that is locally small has an initial object exactly when it has a weakly initial set. A proof is given in Question 5(c). We also use the fact that when $G$ preserves small categorical limits, the comma category $(B\downarrow G)$ is complete, with its limits constructed in $\mathcal{C}$; local smallness is inherited from $\mathcal{C}$. Finally, having an initial object in $(B\downarrow G)$ for each $B$ is the universal arrow from an object to a functor characterization of a left adjoint.

Assume $G$ preserves small categorical limits, and fix $B\in \mathcal{D}$. We will construct a weakly initial set in $(B\downarrow G)$, rather than assume a solution set. Start with an arbitrary object $(C,x)$, where $x:B\to GC$. Call a subobject $m:S\hookrightarrow C$ supporting if $x=G(m)x_S$ for some $x_S:B\to GS$. There is at least one, namely $1_C$. Because $G$ preserves pullbacks in a category, it preserves monomorphisms: the self-pullback characterization of a monic map is preserved. Consequently each $x_S$ is unique.

There is a set of supporting subobjects by well-poweredness. Their intersection of subobjects exists by completeness; write it $m_0:C_0\hookrightarrow C$. Applying $G$ to this intersection categorical limit gives a unique $x_0:B\to G{C}_0$ lifting all the $x_S$, and hence $x=G(m_0)x_0$. Minimality says that any subobject $n:R\hookrightarrow C_0$ supporting $x_0$ is invertible: $m_{0}n$ supports $x$, so $m_0$ factors through $m_{0}n$, giving a right inverse to the monic $n$.

If $u,v:C_0\to Q_i$ satisfy $G(u)x_0=G(v)x_0$, their equalizer supports $x_0$, since $G$ preserves that equalizer. It is therefore an isomorphism, and $u=v$. We have obtained an injective functionLet $J_i$ be its image, a subset of the fixed set $S_i=\mathcal{D}(B,G{Q}_i)$. The evaluation embedding into cogenerator products is a monomorphismIndeed each $s\in J_i$ corresponds to a unique map $C_0\to Q_i$, and the cogenerating set property makes the resulting family jointly monic. Notice that we use the realized subsets $J_i$, not all of $S_i$: there need not be a map $C_0\to Q_i$ available for an unused index.

There is a set of tuples $J=(J_i)$, since $I$ and every $S_i$ are sets. For each resulting $P_J$, choose representatives of its subobjects; these form a set by well-poweredness. For every representative $R$, include every map $y:B\to GR$, a set by local smallness of $\mathcal{D}$. All resulting pairs $(R,y)$ form a set. Our given $(C,x)$ receives a map from such a pair: transport $x_0$ along the isomorphism between $C_0$ and the chosen representative, then compose its inverse with $m_0$. Thus these pairs form a weakly initial set in $(B\downarrow G)$. This is the cogenerator bound for comma-category solution sets.

The initial-object lemma for complete categories with a weakly initial set gives an initial object $(LB,{\eta }_B)$. For $h:B\to B^{\prime }$, define $Lh$ by the unique equationUniqueness proves the functor laws and gives the natural bijectionsThus $L⊣G$. Conversely, a right adjoint preserves small categorical limits: its adjunction identifies maps into the proposed limiting object with compatible families of maps into the diagram. This proves both directions of the limit form of the special adjoint functor theorem. Applying the argument to the opposite categories proves the dual statement. Choices of representatives and adjoint objects are understood in the usual ambient-universe convention for large categories.

For a locally small category $\mathcal{C}$, a representation of a functor $F:\mathcal{C}\to \mathbf{Set}$ is an object $A$ and an element $a\in F(A)$ such thatis a bijection for every $B$, naturally in $B$. Equivalently, $\theta :\mathcal{C}(A,-)\cong F$ is a natural isomorphism.

Suppose $(A,a)$ and $(A^{\prime },a^{\prime })$ are two representations. Universality gives unique mapssuch that $F(u)(a)=a^{\prime }$ and $F(v)(a^{\prime })=a$. Then $F(vu)(a)=a$, and uniqueness applied to the element $a$ gives $vu=1_A$. Similarly $uv=1_{A^{\prime }}$. Thus the representing objects are uniquely isomorphic in a way carrying one universal element of a set-valued functor to the other.

For $F:\mathcal{C}\to \mathcal{D}$ and $B\in \mathcal{D}$, the comma category $(B\downarrow F)$ has objects $(A,u)$ with $u:B\to F(A)$. A morphism $(A,u)\to (A^{\prime },u^{\prime })$ is a map $h:A\to A^{\prime }$ satisfyingThe universal arrow from an object to a functor criterion says that $F$ has a left adjoint exactly when $(B\downarrow F)$ has an initial object for every $B$. Indeed, an initial $(LB,{\eta }_B)$ represents the functor $A\mapsto \mathcal{D}(B,FA)$, and uniqueness makes $B\mapsto LB$ functorial.

When $F:\mathcal{C}\to \mathbf{Set}$ and $1$ is a singleton, an arrow $1\to F(A)$ is just an element $a\in F(A)$. Hence $(1\downarrow F)$ is the category of elements, and its initial objects are exactly the representations of $F$. This proves

If $F$ has a left adjoint, the universal-arrow criterion immediately makes it representable. Conversely, suppose $\mathcal{C}$ is cocomplete and $F\cong \mathcal{C}(A,-)$. For a set $S$, form the copowerThe coproduct in a category universal property gives natural bijectionsso $L⊣F$.

Cocompleteness cannot be omitted. Let $\mathcal{C}$ be the category of ordinals in reverse order: there is one arrow $\alpha \to \beta$ exactly when $\alpha \ge \beta$ in the ordinary ordering. This large poset is locally small and complete. For a set-indexed family $({\alpha }_i)$, its product in the reversed order is the ordinary supremum ${\sup }_i{\alpha }_i$, and equalizers in a poset are automatic. But $\mathcal{C}$ has no initial object, since that would be a largest ordinal. Any representable functor $\mathcal{C}(A,-)$ is therefore the requested example: if it had a left adjoint $L$, thenwould be a singleton for every $B$, making $L(\varnothing )$ initial, a contradiction.