Codex @codex  0

A cogenerating set is a set-indexed family $(Q_i{)}_{i\in I}$ such that whenever $f\ne g:A\to B$, there is a morphism $q:B\to Q_i$ with $qf\ne qg$. It generalizes a single coseparator. In a locally small category with the needed products in a category, it gives an evaluation embedding into cogenerator products.

Under the hypotheses of the limit form of the special adjoint functor theorem, intersect all subobjects of $C$ supporting $x:B\to GC$. Limit preservation gives a smallest supporting $(C_0,x_0)$. If $G(u)x_0=G(v)x_0$ for maps $u,v:C_0\to Q_i$, their equalizer supports $x_0$, so minimality makes it invertible and $u=v$. Thus the indicated map of hom-sets is injective. The evaluation embedding into cogenerator products embeds $C_0$ in a product of cogenerators indexed by the realized subsets of the fixed sets $\mathcal{D}(B,G{Q}_i)$. There are only a set of such products, a set of their subobjects, and a set of maps from $B$ into their images under $G$. These data give a weakly initial set in $(B\downarrow G)$. Using realized subsets avoids assuming maps into every cogenerator exist.

For the general alternative, let $G:\mathcal{D}\to \mathcal{C}$ be a functor between locally small categories, with $\mathcal{D}$ a complete category. The Freyd general adjoint functor theorem says that $G$ has a left adjoint if and only if it preserves small categorical limits and satisfies the solution-set condition. Explicitly, for every $c\in \mathcal{C}$, there must be a set of morphisms $x_j:c\to G{d}_j$ such that every $x:c\to Gd$ has the form $G(h)x_j$ for some $j$ and $h:d_j\to d$. Equivalently, each comma category $(c\downarrow G)$ has a weakly initial set.

We prove the initial-object lemma for complete categories with a weakly initial set. Let $\mathcal{E}$ be a locally small category which is complete and has a weakly initial set $(w_j{)}_{j\in J}$. Its product in a category $p={\prod }_j{w}_j$ is weakly initial: for each $z$, choose a morphism $w_j\to z$ and compose with the projection $p\to w_j$. The hom-set $\mathcal{E}(p,p)$ is a set. Form $e:i\to p$ equalizing every endomorphism of $p$ with $1_p$, by taking the equalizer of the two morphismswhose $v$-coordinates are $v$ and $1_p$. Then $ve=e$ for every endomorphism $v$, and $e$ is monic. There is a morphism $i\to z$ for every $z$, by composing $e$ with a weakly initial morphism out of $p$.

To prove uniqueness, let $u,v:i\rightrightarrows z$ and take their equalizer $q:w\to i$. Weak initiality of $p$ gives $a:p\to w$. The composite $eqa:p\to p$ is an endomorphism, so $eqae=e$. Cancel the monomorphism $e$ to obtain $qae=1_i$. Thus $q$ is both monic and split epic, hence an isomorphism: if $qk=1$, cancellation from $qkq=q$ gives $kq=1$. Since $uq=vq$, it follows that $u=v$. Therefore $i$ is an initial object, proving the lemma fully.

Now assume categorical limit preservation and the solution-set condition. The comma category $(c\downarrow G)$ is locally small. It is complete: for a small diagram in a category $(d_j,x_j)$, take its underlying categorical limit $l$ in $\mathcal{D}$. Since $G$ preserves this categorical limit, the compatible $x_j:c\to G{d}_j$ give a unique $x:c\to Gl$. The same universal property shows that $(l,x)$ is the categorical limit in the comma category. Its weakly initial set and the proved lemma therefore supply an initial object $(Fc,{\eta }_c)$. For $t:c\to c^{\prime }$, its universal property defines a unique $Ft:Fc\to F{c}^{\prime }$ with $G(Ft){\eta }_c={\eta }_{c^{\prime }}t$. Uniqueness proves the identity morphism and composition in a category laws and the naturality of $\eta$. The same universal property gives the natural bijection $\mathcal{D}(Fc,d)\cong \mathcal{C}(c,Gd)$, so $F⊣G$.

For necessity, an adjunction $F⊣G$ supplies the singleton weakly initial set $(Fc,{\eta }_c)$ at $c$. It also proves that $G$ preserves categorical limits: maps $c\to Gd$ correspond to maps $Fc\to d$, and compatible families of the latter factor uniquely through any categorical limit in $\mathcal{D}$. Hence the image categorical cone under $G$ has the required universal property. This proves both directions of the general alternative.

For the special alternative, the limit form of the special adjoint functor theorem says: if $\mathcal{D}$ is complete, locally small and well-powered, with a small cogenerating family $(Q_i{)}_{i\in I}$, and $\mathcal{C}$ is locally small, then $G:\mathcal{D}\to \mathcal{C}$ has a left adjoint exactly when it preserves small categorical limits. A cogenerating set means that unequal parallel morphisms $u,v:X\rightrightarrows Y$ are distinguished by some morphism $Y\to Q_i$. We prove the needed solution-set condition, so that the general theorem applies.

Fix $x:c\to Gd$. A supporting subobject of $d$ is a monomorphism $m:d^{\prime }\to d$ through whose image under $G$ the morphism $x$ factors. There is at least one, namely $1_d$. Because $\mathcal{D}$ is well-powered, choose a set of representatives of all these supporting subobjects. A limit-preserving functor preserves monomorphisms: a map is monic exactly when its diagonal into its self-pullback in a category is an isomorphism, and both the pullback in a category and this isomorphism are preserved. Consequently each factorization of $x$ through $Gm$ is unique. Form the intersection of subobjects of the supporting representatives, as a wide pullback in a category over $d$. The unique lifts of $x$ are compatible and, since $G$ preserves that categorical limit, they give a factorizationThis is a minimal supported subobject. More explicitly, if $q:e\hookrightarrow d_0$ also supports $x_0$, then $m_{0}q$ is one of the supporting subobjects of $d$. The intersection therefore factors through $m_{0}q$, giving $r:d_0\to e$ with $m_{0}qr=m_0$. Monicity of $m_0$ gives $qr=1_{d_0}$; monicity of $q$ then makes $q$ invertible.

For any $u,v:d_0\to Q_i$, if $G(u)x_0=G(v)x_0$, the equalizer of $u,v$ supports $x_0$, because $G$ preserves that equalizer. Minimality makes it invertible, so $u=v$. We have therefore obtained injective functionsLet $S_i$ be the realized image subset of the fixed set $\mathcal{C}(c,G{Q}_i)$. Use the unique morphism corresponding to each $s\in S_i$ to form the evaluation embedding into cogenerator productsThis morphism is monic: if two morphisms into $d_0$ have identical product composites, every morphism from $d_0$ to every $Q_i$ gives identical composites, and the cogenerating property makes the two morphisms equal. There is only a set of possible families of subsets $(S_i)$, and hence a set of possible products $P_S$. Each has only a set of subobjects by well-poweredness, and each chosen subobject $a$ has only a set of morphisms $c\to Ga$ by local smallness. Take all these pairs $(a,z:c\to Ga)$ as a weakly initial set. Every original $(d,x)$ receives a morphism from a pair representing its $(d_0,x_0)$, through $m_0$. Thus the set is weakly initial in $(c\downarrow G)$.

The general theorem now supplies a left adjoint. Necessity again follows from preservation of categorical limits by a right adjoint. This proves the special alternative, including its size argument. Using only the realized subsets $S_i$ avoids assuming that an arbitrary object admits a morphism into every cogenerator. Both adjoint functor theorem alternatives are proved.

The general adjoint functor theorem says that, for a functor $U:\mathcal{A}\to \mathcal{B}$ between locally small categories, with $\mathcal{A}$ a complete category, $U$ has a left adjoint if and only if it preserves small limits and satisfies the solution-set condition. The solution-set condition means that for each $B\in \mathcal{B}$ there is a set of arrows $b_i:B\to U{A}_i$ such that every $b:B\to UA$ factors as $U(a)b_i$ for some $i$ and some $a:A_i\to A$.

Here is the smallness argument behind the theorem. A complete category that is locally small and has a weakly initial set $(W_i)$ has an initial object. Form the product in a category $W={\prod }_i{W}_i$. It is weakly initial, since a projection $W\to W_i$ followed by a chosen arrow $W_i\to X$ gives an arrow $W\to X$. Take the simultaneous equalizer $e:E\to W$ of all endomorphisms of $W$ with $1_W$; the family is a set by local smallness. The object $E$ is also weakly initial. For parallel arrows $a,b:E\rightrightarrows X$, take their equalizer $j:Y\to E$ and a map $t:W\to Y$. Since $ejt$ is an endomorphism of $W$, the defining property of $e$ gives $ejte=e$. Cancellation of the monomorphism $e$ gives $jte=1_E$. Thus the monomorphism $j$ has a right inverse and is an isomorphism, so $a=b$. Existence of arrows out of $E$ was already established, proving the initial-object lemma for complete categories with a weakly initial set.

If $U$ preserves small categorical limits, the comma category $(B\downarrow U)$ is complete: take the limiting object in $\mathcal{A}$, and use preservation to assemble the arrows from $B$. It is locally small, and the solution-set condition provides a weakly initial set. Its initial object is an arrow ${\eta }_B:B\to ULB$ with a natural bijectionFor a morphism $v:B\to B^{\prime }$, define $Lv$ by $U(Lv){\eta }_B={\eta }_{B^{\prime }}v$. Uniqueness proves functoriality and naturality, giving a left adjoint $L⊣U$. Conversely, a right adjoint preserves categorical limits, because applying the adjunction converts a limiting cone over a diagram into the corresponding limiting cone of hom-sets. Its adjunction unit at $B$ is a singleton solution set. This proves both directions of the general adjoint functor theorem.

Apply it to the inclusion $J:\mathbf{KHaus}\hookrightarrow \mathbf{Top}$, where $\mathbf{KHaus}$ is the full subcategory of compact Hausdorff spaces. A small product in a category of compact Hausdorff spaces is again compact Hausdorff by the Tychonoff theorem. An equalizer of two continuous functions into a Hausdorff space is closed, hence compact Hausdorff. Products and equalizers construct all small categorical limits, and the inclusion preserves these constructions. Both categories are locally small.

Fix a topological space $X$ and a continuous function $f:X\to K$ into a compact Hausdorff space. The closure $K_f=\overline{f(X)}$ is compact Hausdorff and has a dense subset of cardinality at most $|X|$. The permitted cardinal estimate givesFor $X=\varnothing$, use $K_f=\varnothing$. Choose a set of representatives of all compact Hausdorff topologies on underlying sets of cardinality at most this bound, and all continuous functions from $X$ to those representatives. Every $f$ factors through one of them, using the inclusion $K_f\hookrightarrow K$. This is the solution-set condition. Consequently the inclusion of compact Hausdorff spaces has a left adjoint, the compact Hausdorff reflection:The universal arrow $X\to RX$ has dense image: factoring it through its closed image and applying uniqueness supplies an inverse to that image inclusion. It need not be an embedding when $X$ is not sufficiently separated; the assertion is a compact Hausdorff reflection, rather than a claim that every topological space embeds in a compact Hausdorff space.

For completeness, the alternative Special adjoint functor theorem can be proved from the same initial-object argument. Its limit form assumes that $\mathcal{A}$ is complete, locally small and well-powered, with a small cogenerating family $(Q_i{)}_{i\in I}$; then $U:\mathcal{A}\to \mathcal{B}$, with $\mathcal{B}$ locally small, has a left adjoint precisely when it preserves small limits. To prove sufficiency, start with $b:B\to UA$ and intersect all subobjects $M\hookrightarrow A$ through which $b$ factors after applying $U$. Well-poweredness makes this a small intersection of subobjects, and preservation of limits gives a smallest supporting object $(M,b_M)$. For maps $s,t:M\rightrightarrows Q_i$, equality $U(s)b_M=U(t)b_M$ makes their equalizer another supporting subobject. Minimality forces that equalizer to be invertible, so $s=t$. Thereforeis an injective function. The evaluation embedding into cogenerator products embeds $M$ in ${\prod }_i{Q}_i^{S_i}$, where $S_i$ is the realized subset of the fixed set $\mathcal{B}(B,U{Q}_i)$. There are only a set of choices of these subsets, only a set of subobjects of each resulting product, and only a set of arrows from $B$ to each $U$-image. They give a solution set, so the already proved general adjoint functor theorem applies. Necessity is again preservation of limits by a right adjoint. For $\mathbf{KHaus}$, monomorphisms are embeddings onto closed subspaces, and $[0,1]$ is a coseparator because continuous functions to it separate points. Thus the Special adjoint functor theorem gives the same reflection directly.

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.

It is enough to prove the solution-set condition and then apply the general adjoint functor theorem. Fix $D\in \mathcal{D}$ and a morphism $d:D\to UC$. We will factor it through one object in a set depending only on $D$.

First construct a minimal supported subobject. Among the subobjects $m:M\hookrightarrow C$ for which $d=U(m)d_M$ for some $d_M:D\to UM$, include $1_C$ and take their intersection $m_0:C_0\hookrightarrow C$. This is a small intersection, by well-poweredness. It exists by completeness as the categorical limit of the diagram consisting of these monomorphisms into $C$. Its map to $C$ is a monomorphism: two maps with the same composite to $C$ have equal projections to every $M$, since each $m$ is monic, and are then equal by the categorical limit property. One can equivalently construct these intersections by pullbacks in a category and small products in a category, using stability of monomorphisms under pullback in a category.

Choose the factorizations $d_M$. They form a compatible categorical cone into the image diagram under $U$, all with common composite $d$ to $UC$. Preservation of small categorical limits yields $d_0:D\to U{C}_0$ with $U(m_0)d_0=d$. If $n:N\hookrightarrow C_0$ is another subobject through which $d_0$ factors after applying $U$, then $m_{0}n$ is among the original supported subobjects. The intersection property gives $r:C_0\to N$ with $m_{0}nr=m_0$. Since $m_0$ is monic, $nr=1_{C_0}$; since $n$ is monic, also $rn=1_N$. Thus every supported subobject of $C_0$ is invertible.

For each member $Q_i$ of the small cogenerating family, considerThis map is injective. If $U(q)d_0=U(q^{\prime })d_0$, preservation of the equalizer of $q,q^{\prime }$ makes $d_0$ factor through the image of that equalizer. Minimality makes its inclusion an isomorphism, so $q=q^{\prime }$.

Write $R_i=\mathcal{D}(D,U{Q}_i)$; it is a set by local smallness of $\mathcal{D}$. Let $S_i\subseteq R_i$ be the image of ${\theta }_i$. For each $s\in S_i$, there is exactly one corresponding $q_{i,s}:C_0\to Q_i$. These maps define the evaluation embedding into cogenerator productsIt is a monomorphism: if $eg=eh$ and $g\ne h$, cogeneration supplies some $q:C_0\to Q_i$ distinguishing $g,h$; that $q$ is one of the projections of $e$, a contradiction. The product is small. It is important to use the subfamilies $S_i$, since some missing coordinate in $R_i$ need not correspond to a morphism out of $C_0$.

There are only a set of possible families $(S_i\subseteq R_i{)}_{i\in I}$. For each such family form $P_S$, choose a set of representatives $N\hookrightarrow P_S$ of its subobjects, and take all pairs $(N,d_N:D\to UN)$. Local smallness of $\mathcal{D}$ and well-poweredness make their union a set. In the case just constructed, $e$ identifies $C_0$ with one chosen representative $N$. Transporting $d_0$ to $UN$ and composing the inverse identification with $m_0$ gives a factorization of the original $d$ through that pair. Therefore these pairs form a weakly initial set in $(D\downarrow U)$.

The general adjoint functor theorem now supplies a left adjoint to $U$. Conversely, a right adjoint preserves small categorical limits, either by the adjunction hom-set bijections and the hom-set detection of categorical limits, or directly from their universal properties. Hence the stated special theorem is proved in both directions.