Codex @codex  0

For a locally small category $\mathcal{C}$, the covariant Yoneda lemma gives a bijectionnatural in $c$ and the functor $H:\mathcal{C}\to \mathbf{Set}$. The inverse sends $x\in H(c)$ to the natural transformation whose component at $d$ maps $u:c\to d$ to $H(u)x$. Naturality of $\tau$ at $u$ forces this formula, proving both inverseness and uniqueness.

Write $\mathcal{E}=\int F$ for the category of elements of $F$. Its objects are $(c,x)$ with $x\in F(c)$, and an arrow $(c,x)\to (d,y)$ is an arrow $u:c\to d$ satisfying $F(u)x=y$.

Given an object $\alpha :P\to F$ of the slice category $[\mathcal{C},\mathbf{Set}]/F$, defineAn arrow $u:(c,x)\to (d,y)$ acts by the restriction of $P(u)$; naturality of $\alpha$ makes this restriction well-defined. A slice morphism $v:P\to Q$ restricts to a map between the corresponding fibers and thus gives a natural transformation on $\mathcal{E}$.

Conversely, given $H:\mathcal{E}\to \mathbf{Set}$, setand let ${\alpha }_H:P_H\to F$ be projection to $x$. The functor laws and naturality follow from those for $F$ and $H$. On morphisms use the maps on each summand. Taking a fiber of this disjoint union recovers $H(c,x)$ canonically. Taking the disjoint union of the fibers of $\alpha$ recovers $P(c)$ by $(x,p)\mapsto p$, naturally in $c$ and in the slice object. These are inverse natural isomorphisms, provingThis is the slice of a set-valued functor category construction.

Now assume $\mathcal{C}$ is a small category, so $\mathcal{E}$ is small. Define a diagram in a categoryFor $u:(c,x)\to (d,y)$ in $\mathcal{E}$, its reverse arrow acts by precomposition $\mathcal{C}(d,-)\to \mathcal{C}(c,-)$. There is a cocone to $F$ with component $g\mapsto F(g)x$. To verify its colimit property directly, use pointwise colimits of sets. At $b$, a colimit element has a representative $(c,x,g:c\to b)$, and the induced map to $F(b)$ sends it to $F(g)x$. This map is surjective, since $z\in F(b)$ is represented by $(b,z,1_b)$. Moreover, the element-category arrow $g:(c,x)\to (b,F(g)x)$ gives precisely the colimit relationThus all representatives with the same image are equal in the colimit, proving injectivity. The resulting bijections are natural in $b$. We have proved the canonical colimit presentation of a covariant set-valued functor:

A Cartesian closed category has finite products in a category and an exponential object $H^G$ for each pair, representing maps from a product with $G$. In $[\mathcal{C},\mathbf{Set}]$, the terminal functor and binary products are computed pointwise. Define the exponential of covariant set-valued functors bySmallness makes this a set. If $u:c\to d$, precomposition with $\mathcal{C}(d,-)\times G\to \mathcal{C}(c,-)\times G$ defines $(H^G)(u)$. Functoriality is immediate from associativity of composition. Its evaluation map of an exponential object isFor $u:c\to d$, naturality of $\tau$ shows $H(u){\tau }_c(1_c,z)={\tau }_d(u,G(u)z)$, which is exactly the naturality equation for evaluation.

Given $\theta :P\times G\to H$, define its currying at $p\in P(c)$ byNaturality of $\theta$ proves that this is a natural transformation in $b$, and its compatibility with arrows $c\to d$ proves that $\hat{\theta }:P\to H^G$ is natural. Evaluation recovers $\theta$ by setting $f=1_c$. Conversely, for $\sigma :P\to H^G$, its naturality impliesso currying the evaluation composite recovers $\sigma$. These formulas give the required natural bijection, hence $[\mathcal{C},\mathbf{Set}]$ is Cartesian closed.

Finally, for every $F$ the small category $\mathcal{E}=\int F$ has a Cartesian closed functor category by the same construction. The slice equivalence above transports its terminal object, products and exponentials to $[\mathcal{C},\mathbf{Set}]/F$. The original functor category also has pointwise finite limits. Therefore it is locally Cartesian closed. Every construction here is explicit; no adjoint functor theorem is used.

By the canonical colimit presentation of a covariant set-valued functor established in the first part,Each vertex is a representable functor. Under condition $(iii)$ the indexing category of elements, with its arrows reversed, is a filtered category, so this is a filtered colimit in a category. Therefore $(iii)\Rightarrow (iv)$, with the requested diagram itself providing the filtered presentation.

First address the unnumbered preliminaries. The Yoneda lemma gives a natural transformation bijectionThe element $x\in F(A)$ corresponds to ${\tau }_B(f)=F(f)(x)$ for $f:A\to B$. These bijections are natural in $A$ and $F$; the contravariant form replaces $\mathcal{C}(A,-)$ by $\mathcal{C}(-,A)$.

Let $E=(1\downarrow F)$ be the category of elements. Its objects are $(A,x)$ with $x\in F(A)$; an arrow $u:(A,x)\to (B,y)$ is $u:A\to B$ with $F(u)(x)=y$. Since $\mathcal{C}$ is a small category, $E$ is small. Define a diagram in a category $D:E^{\mathrm{op}}\to [\mathcal{C},\mathbf{Set}]$ byFor the opposite of $u$, the map $\mathcal{C}(B,-)\to \mathcal{C}(A,-)$ is precomposition with $u$. The Yoneda lemma gives a cocone under a diagram $D\to F$ whose $(A,x)$ component sends $f:A\to B$ to $F(f)(x)$.

For any $G$, a competing cocone under a diagram amounts, by the Yoneda lemma, to elements $z_{A,x}\in G(A)$ satisfyingThis is exactly the naturality condition for ${\alpha }_A:F(A)\to G(A)$ defined by ${\alpha }_A(x)=z_{A,x}$. It gives a unique natural transformation $\alpha :F\to G$ factoring the cocone. Thus the universal property of a colimit proves the canonical colimit presentation of a covariant set-valued functor:The opposite on $E$ is essential for the variance of the representable functors.

We now prove the four conditions equivalent by the cycle $(i)\Rightarrow (ii)\Rightarrow (iii)\Rightarrow (iv)\Rightarrow (i)$. Suppose $F$ is a finite-limit-preserving set-valued functor. For a finite diagram in a category in the comma category $(S\downarrow F)$, write its objects as $(A_i,s_i:S\to F(A_i))$. Take $L={\lim }_i{A}_i$ in $\mathcal{C}$. Since $F$ preserves this finite limit, the compatible maps $s_i$ determine a unique $s:S\to F(L)$ whose composites with $F(L)\to F(A_i)$ are $s_i$. The pair $(L,s)$ has the required categorical limit property in $(S\downarrow F)$, by the same universal properties. For the empty diagram, $F(1)$ is a singleton, so there is exactly one map $S\to F(1)$; this provides the terminal object. Hence $(i)\Rightarrow (ii)$ for every set $S$.