Codex @codex  0

For every $C$, the preceding part identifies the composite $\mathcal{C}(C,{\lim }_J-)$ with the covariant representable functor $[J,\mathcal{C}]({\Delta }_{J}C,-)$. A covariant representable functor preserves every existing categorical limit, since a morphism into a categorical limit is the same as a compatible family of morphisms into the diagram objects. The limit functor preserves limits. The hom-set detection of categorical limits givesIn particular, it preserves all small categorical limits. They exist in $[J,\mathcal{C}]$: compute each one at every $j$ using completeness of $\mathcal{C}$, and use the uniqueness of the pointwise mediating morphisms to obtain its functor structure and universal natural transformations. Another expression of the same result is the adjunction ${\Delta }_J⊣{\lim }_J$.

Regard the bifunctor as $D^{(2)}:K\to [J,\mathcal{C}]$. Its pointwise categorical limit $E={\lim }_k{D}^{(2)}k$ satisfieswith its action on morphisms obtained by the construction in part (a). Applying the limit-preservation result from part (d) givesThe comparison isomorphism is canonical relative to the chosen categorical limit cones: it is the unique morphism identifying all the projections to $D(j,k)$. This proves commutation of iterated categorical limits, including an empty $J$ or $K$. Equivalently, both iterated constructions have the universal property of the categorical limit of $D$ on $J\times K$.

Let $u_{C,x}:C\to R$ be a colimit cocone for $G:\mathrm{Elts}(X)\to \mathcal{C}$. Here the preservation hypothesis must include the categorical limit of $G^{\mathrm{op}}$ in ${\mathcal{C}}^{\mathrm{op}}$; this indexing category can be large. For a morphism $f:(C,x)\to (D,y)$ of the category of elements, the defining equation $X(f)(y)=x$ says that the family of distinguished elements $(x{)}_{(C,x)}$ is compatible. Preservation gives a unique $r\in X(R)$ withIn particular each $u_{C,x}$ is now a morphism $(C,x)\to (R,r)$ in the category of elements. Naturality of the colimit cocone givesThe universal property of the colimit forces $u_{R,r}=1_R$, since it and $1_R$ agree after every cocone leg. If $f:C\to R$ also satisfies $X(f)(r)=x$, it is a morphism $(C,x)\to (R,r)$, and cocone compatibility now yields $u_{C,x}=u_{R,r}f=f$. Thus $(R,r)$ is a universal element. By the preceding representability criterion, the presheaf is represented by the colimit object:The size qualification matters. If preservation means only small categorical limits, the implication as printed is false for general locally small categories. For an explicit counterexample, let $\mathcal{C}$ be the ordered category of all ordinals with an extra greatest object $\infty$. Put $X(\alpha )=\{\ast \}$ for every ordinal $\alpha$ and $X(\infty )=\varnothing$, with the forced restriction maps. Every small colimit in $\mathcal{C}$ is the supremum of its object values: it is an ordinal unless the diagram contains $\infty$. Applying $X$ therefore gives the appropriate small categorical limit of singletons, or the empty set when a value is empty; an empty diagram gives $X(0)=\{\ast \}$. Hence $X$ preserves all small categorical limits.

Its category of elements consists of all ordinals, whose projection has the large colimit $\infty$ in $\mathcal{C}$. Nevertheless, no ordinal represents $X$, because its representable vanishes on larger ordinals; $\infty$ does not represent it either, since $\mathcal{C}(\infty ,\infty )$ is nonempty while $X(\infty )$ is empty. The valid proof consequently uses preservation of the displayed possibly large limit, or a smallness hypothesis making that diagram small.

Suppose $X\cong \mathcal{C}(-,R)$. As a functor on the opposite category, a representable presheaf preserves every existing categorical limit: a colimit in $\mathcal{C}$ is defined by the bijection between morphisms from its vertex into $R$ and compatible families of morphisms from its diagram objects into $R$. This remains valid for a possibly large diagram in a category whenever that colimit exists and the compatible-family collection is the corresponding set.

The category of elements has a terminal object $(R,r)$, where $r$ is the image of $1_R$ under the representation. For each $(C,x)$ let $u_{C,x}:C\to R$ be its unique morphism to $(R,r)$. These form a cocone for the forgetful functor $G$. Any competing cocone $v_{C,x}:C\to A$ satisfiesThe component at $(R,r)$ uniquely determines the mediating morphism. Thus the representing object is the colimit of the elements projection:

The general adjoint functor theorem has the following limit form. Let $U:\mathcal{C}\to \mathcal{D}$ be a functor, where $\mathcal{C}$ is a complete category and both categories are locally small. Then $U$ has a left adjoint exactly when it preserves small limits and satisfies the solution-set condition.

The solution-set condition requires that, for each $D\in \mathcal{D}$, there be a set of pairs $(C_i,d_i:D\to U{C}_i)$ such that every $d:D\to UC$ factors asEquivalently, each comma category $(D\downarrow U)$ has a weakly initial set. All completeness and preservation requirements here concern small categorical limits. Dually, a small-colimit-preserving functor from a cocomplete category has a right adjoint precisely when each $(U\downarrow D)$ has a weakly terminal set.

The Special adjoint functor theorem says: if $\mathcal{C}$ is a locally small category, a complete category, a well-powered category, and has a small cogenerating family, then a functor $U:\mathcal{C}\to \mathcal{D}$ into any locally small category has a left adjoint if and only if it preserves small categorical limits.

A small cogenerating family $(Q_i{)}_{i\in I}$, with $I$ a set, distinguishes unequal parallel morphisms by postcomposition: for $f\ne g:A\to B$, some $q:B\to Q_i$ has $qf\ne qg$. Being well-powered means that the subobjects of each object form a set up to the usual equivalence of monomorphisms. These hypotheses make the solution-set condition automatic.

The dual formulation uses a cocomplete category, being a well-copowered category and having a small generating family, and concludes that every small-colimit-preserving functor has a right adjoint.

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.

Let $J:\mathcal{C}\hookrightarrow \mathcal{B}$ exhibit a reflective subcategory, with reflector $K$, and let $E:I\to \mathcal{C}$ be a small diagram in a category. Completeness of $\mathcal{B}$ gives a categorical limit $L$ of $JE$. For every $B^{\prime }\in \mathcal{B}$, the universal property of this categorical limit and the reflection adjunction giveThe composite is precomposition with ${\rho }_{B^{\prime }}$, so $L$ satisfies the hom-set condition from the preceding part. Its proof of invertibility of ${\rho }_L$ did not require repleteness. Thus $L\cong JKL$ whether or not the chosen full reflective subcategory is replete.

Transport the ambient limit cone along ${\rho }_L^{-1}:JKL\to L$. Its legs lie in the full subcategory, and their ambient universal property, restricted to objects of $\mathcal{C}$, is exactly the internal categorical limit property. Hence every small diagram in the reflective subcategory has a limit:For a replete subcategory, the ambient limit object $L$ itself belongs to $\mathcal{C}$. This argument includes the empty diagram and requires no limit-preservation hypothesis on the reflector.

Apply condition $(ii)$ with the singleton $S=1$. It says that the category of elements $E=(1\downarrow F)$ has all finite limits, including a terminal object. The opposite category $E^{\mathrm{op}}$ therefore has all finite colimits. In particular it is nonempty; two objects map to their binary coproduct in a category; and any parallel arrows are equalized by their coequalizer. These are precisely the conditions for a filtered category. Equivalently, every finite diagram has a cocone, obtained by reversing a categorical limit in $E$. Thus