Codex @codex  0

Every functor $F:\mathcal{C}\to \mathbf{Set}$ on a small category is the colimit of the covariant representable functors $\mathcal{C}(A,-)$ indexed by the opposite of its category of elements. The cocone indexed by $(A,x)$ sends $f:A\to B$ to $F(f)(x)$. By the Yoneda lemma, a compatible cocone into $G$ is exactly a natural transformation $F\to G$. The opposite indexing direction is essential because precomposition reverses the representing-object arrow.

For a categorical presheaf $P$ on a small category, its category of elements has objects $(c,x)$ with $x\in P(c)$ and arrows $u:(c,x)\to (d,y)$ satisfying $P(u)y=x$. The canonical natural transformation $H_c\to P$ sends $v:a\to c$ to $P(v)x$. These maps exhibit $P$ as the displayed colimit. At $a$, a representative $(c,x,v)$ maps to $P(v)x$, with inverse $z\mapsto (a,z,1_a)$. The arrow $v:(a,P(v)x)\to (c,x)$ identifies every representative with its canonical inverse image, proving the bijection and the colimit universal property.

For a functor $F:\mathcal{C}\to \mathcal{D}$, precomposition by $u:B\to B^{\prime }$ induces $(B^{\prime }\downarrow F)\to (B\downarrow F)$, hence a map of categorical connected components in the opposite direction to $u$. This defines a presheaf on $\mathcal{D}$. Its category of elements is the intermediate category in the final-discrete-fibration factorization.

For a set-valued covariant functor on a small category, the Yoneda lemma sends the element $x\in F(c)$ to the transformation $\mathcal{C}(c,-)\to F$. These transformations form a cocone indexed by the opposite category of elements. At $a$, send the representative $(c,x,u:c\to a)$ to $F(u)x$. It is surjective using $(a,z,1_a)$; two representatives of $z$ are identified through that same object of the category of elements. This proves the displayed presentation pointwise.

For a presheaf on a category, the categorical coend identifies $(fh,x)$ with $(h,X(f)x)$. The displayed isomorphism sends the class of $(h:U\to W,x\in X(W))$ to $X(h)x$, with inverse $y\mapsto [1_U,y]$. The coend relation makes these inverse and natural. Consequently every presheaf is the colimit of representables indexed by its category of elements.

A functor $F:\mathcal{C}\to \mathbf{Set}$ is finite-limit-preserving if it carries each finite limit cone to a limiting cone. When $\mathcal{C}$ is a small category with finite limits, this is equivalent to $F$ being a filtered colimit in a category of covariant representable functors, and to the opposite of its category of elements being a filtered category. It is also equivalent to every comma category $(S\downarrow F)$ having finite limits, for all sets $S$.

A covariant functor into a Grothendieck topos is flat when its tensor extension from presheaves preserves finite limits. For set values, its category of elements with arrows carrying source elements to target elements is cofiltered; equivalently the functor is a filtered colimit of covariant representables. If the indexing category has finite limits, flatness is equivalent to preservation of finite limits. For a site, cover-to-joint-epimorphism continuity adds the condition needed by the Diaconescu equivalence for geometric morphisms.

For a small category with finite limits, a set-valued functor preserving them has a category of elements with finite limits, so its opposite is a filtered category. The covariant density presentation is therefore a filtered colimit of representable functors. Conversely, representable functors preserve categorical limits, and filtered colimits commute with finite limits in sets, proving the criterion.

For a small category $\mathcal{C}$, its presheaf category is the free enlargement under small colimits. Each categorical presheaf $P$ is the colimit of the diagram sending $(C,x)\in \int P$ to the representable presheaf $yC$. The map at $(C,x)$ sends $f:A\to C$ to $P(f)x$. It is surjective at each $A$ because $z\in P(A)$ is the image of $1_A$ at $(A,z)$. If two representatives have the same image $z$, they are both identified with the representative $1_A$ at $(A,z)$ by arrows in the category of elements, proving injectivity. Thus $P\cong {\mathrm{colim}}_{(C,x)\in \int P}yC$. For a cocomplete target, a functor on $\mathcal{C}$ extends by these colimits, uniquely up to natural isomorphism among colimit-preserving extensions.

Here a universal element means a pair $(A,u)$, with $u\in X(A)$, such that for every $B$ and every $x\in X(B)$ there is a unique morphism $f:B\to A$ satisfying $X(f)(u)=x$. Equivalently,By the Yoneda lemma these component maps constitute a natural transformation $h_A\to X$. If $u$ is universal, every component is bijective, so this is a natural isomorphism and $X$ is a representable presheaf. Conversely a natural isomorphism $h_A\to X$ takes $1_A$ to an element $u$ with exactly this property. In the category of elements of the contravariant functor $X$, $(A,u)$ is a terminal object: every $(B,x)$ has a unique arrow to it.

For $X:{\mathcal{C}}^{\mathrm{op}}\to \mathbf{Set}$, let $\int X$ be its category of elements. Its objects are $(A,a)$ with $a\in X(A)$; an arrow $(A,a)\to (B,b)$ is a morphism $f:A\to B$ satisfying $X(f)b=a$. This is a small category, because $\mathcal{C}$ is small and all values of $X$ are sets.

Send $(A,a)$ to the representable presheaf $h_A$, and send an arrow $f$ to postcomposition $h_f$. There is a cocone to $X$ whose map at $(A,a)$ isThe functor laws give its naturality and the required cocone compatibility.

Compute the colimit pointwise as a disjoint union modulo its diagram identifications. At $C$ a representative is a triple $(A,a,g:C\to A)$, and it maps to $X(g)a\in X(C)$. Every $x\in X(C)$ is the image of $(C,x,1_C)$. Moreover $g$ is an arrow $(C,X(g)a)\to (A,a)$ in $\int X$, so its diagram relation identifiesThus every representative is identified with the canonical representative of its image. Two representatives have equal images exactly when their canonical representatives agree. This proves a componentwise bijection; restriction maps respect it. The resulting natural isomorphism is the canonical colimit presentation of a presheaf:

The category of elements $\int X$ has objects $(W,x)$ for $x\in X(W)$, and morphisms $f:(W,x)\to (V,y)$ with $X(f)y=x$. Send $(W,x)$ to the representable presheaf $H_W$, and a morphism $f$ to $H_{\bullet }(f)$. The element $x$ supplies a natural transformation $H_W\to X$ with component $h\mapsto X(h)x$, by the Yoneda lemma. These transformations form a cocone.

Pointwise at $U$, the colimit of this diagram in a category has representatives $(W,x,h:U\to W)$, with relation $(W,X(f)y,h)\sim (V,y,fh)$. These are exactly the relations of the preceding categorical coend. Its proved natural isomorphism with $X(U)$ therefore identifies the cocone with the universal colimit cocone. More directly, every representative equals $(U,X(h)x,1_U)$ through the morphism $h:(U,X(h)x)\to (W,x)$; two representatives with the same image therefore agree. As $\mathcal{C}$ is small, $\int X$ is small, so this is an ordinary small colimit. Consequently

The category of elements of $X$ has objects $(W,x)$ with $x\in X(W)$ and morphisms $f:(W,x)\to (V,y)$ satisfying $X(f)y=x$. Send $(W,x)$ to the representable presheaf $H_W$ and a morphism to $H_f$. The Yoneda lemma gives a canonical cocone to $X$, whose leg at $(W,x)$ corresponds to $x$.

For any target presheaf $Z$, a cocone from this diagram to $Z$ is a family of maps $H_W\to Z$, or equivalently elements $z_{W,x}\in Z(W)$, with $z_{W,x}=Z(f)z_{V,y}$ whenever $X(f)y=x$. Such a family is exactly a natural transformation $X\to Z$, via $x\mapsto z_{W,x}$. This bijection respects the canonical cocone, so it proves its colimit universal property. Consequently the canonical colimit presentation of a presheaf isEquivalently, the density coend identifies the disjoint copies of the representables by exactly these element-category arrows. Smallness of $\mathcal{C}$ and the set-valued fibers make the indexing category small.

Take $A=1$. The category of elements $\int F=(1\downarrow F)$ has finite limits. Reversing its limiting cones gives cocones over every finite diagram in $(\int F{)}^{\mathrm{op}}$; a terminal object before reversal ensures nonemptiness. Its opposite category is therefore a filtered category, proving (iii).

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.

For each $d\in \mathcal{D}$, let $P(d)={\pi }_0(d\downarrow F)$, the collection of connected components, where connectedness means connection by a zigzag of arrows. Precomposition with $u:d\to d^{\prime }$ gives a function $P(u):P(d^{\prime })\to P(d)$. Identity and composition are inherited from precomposition.

Construct a category $\mathcal{E}$ whose objects are pairs $(d,c)$ with $c\in P(d)$. An arrow $(d,c)\to (d^{\prime },c^{\prime })$ is an arrow $u:d\to d^{\prime }$ satisfying $c=P(u)c^{\prime }$. Composition is that of $\mathcal{D}$, and the component equation is preserved by composition. The projection $p:\mathcal{E}\to \mathcal{D}$ is a discrete fibration: an arrow $u:d\to d^{\prime }$ has precisely one lift into $(d^{\prime },c^{\prime })$, namely the arrow from $(d,P(u)c^{\prime })$ represented by $u$.

Define $J:\mathcal{C}\to \mathcal{E}$ byThis is well defined because $(a,1_{Fa})$ and $(a^{\prime },Fj)$ lie in the same component of $(Fa\downarrow F)$ whenever $j:a\to a^{\prime }$. Clearly $pJ=F$.

For an object $(d,c)$ of $\mathcal{E}$, an object of $((d,c)\downarrow J)$ is exactly a pair $(a,u:d\to Fa)$ representing the component $c$. Its morphisms are exactly the arrows in $(d\downarrow F)$ between such objects. Thus this comma category is the component $c$ itself, which is nonempty and connected. This proves that $J$ is a final functor, and henceThis is the final-discrete-fibration factorization. For small categories the collections $P(d)$ are sets and this construction is the category of elements of the presheaf $P$. For categories of a larger size, the construction is interpreted in the same chosen ambient size framework.

Take $A=1$. By assumption $E=(1\downarrow F)$ has finite limits, so $E^{\mathrm{op}}$ has finite colimits. A filtered category is nonempty, admits a cocone over every pair of objects, and admits a coequalizing arrow for every parallel pair. The initial object of $E^{\mathrm{op}}$ gives nonemptiness, its binary coproducts give the required two-object cocones, and its coequalizers equalize parallel arrows. Consequently $\boxed{\text{(ii)}\Rightarrow \text{(iii)}}$. These statements also handle the otherwise possible empty category of elements.

The comma category $(A\downarrow F)$ has objects $(C,u)$ with $C\in \mathcal{C}$ and $u:A\to FC$ a set map. A morphism $(C,u)\to (D,v)$ is an arrow $h:C\to D$ such that $Fh\circ u=v$. Composition and identities are those of $\mathcal{C}$. For $A=1$, this is the category of elements $E$ of $F$: objects are $(C,x)$ with $x\in FC$ and arrows satisfy $Fh(x)=y$.

Associate to $(C,x)$ the covariant representable functor $H_C=\mathcal{C}(C,-)$. An arrow $h:(C,x)\to (D,y)$ of $E$ gives, by precomposition, $H_D\to H_C$. Thus this is a diagram $H:E^{\mathrm{op}}\to [\mathcal{C},\mathbf{Set}]$. There is a compatible natural map $H_C\to F$ sending $f:C\to B$ to $Ff(x)$.

Colimits in this functor category are pointwise. At an object $B$, the induced map from the colimit sends a class represented by $(C,x,f:C\to B)$ to $Ff(x)$. It is surjective because $z\in FB$ is represented by $(B,z,1_B)$. It is injective because every representative with value $z$ is identified with that same canonical representative: the arrow $f:(C,x)\to (B,z)$ in $E$ becomes an arrow of the indexing diagram sending $1_B$ to $f$. These bijections are natural in $B$, provingSmallness of $\mathcal{C}$ and set-valuedness of $F$ ensure that $E$ is small, so the displayed colimit is defined. This proves the introductory density request before the three equivalent conditions.

Write $H_c=\mathcal{C}(-,c)$. The category of elements $\int P$ of a categorical presheaf $P$ has objects $(c,x)$ with $x\in P(c)$; a morphism $(c,x)\to (d,y)$ is $u:c\to d$ satisfying $P(u)y=x$. It is a small category because $\mathcal{C}$ is small and each $P(c)$ is a set. Consider the diagram sending $(c,x)$ to $H_c$ and $u$ to the natural transformation given by postcomposition with $u$.

There is a canonical cocone ${\alpha }_{c,x}:H_c\to P$ withFunctoriality makes it a natural transformation, and the equation $P(u)y=x$ makes these transformations a cocone.

To prove its universal property, let $Q$ be any categorical presheaf with a compatible cocone ${\beta }_{c,x}:H_c\to Q$. DefineFor $u:c\to d$ and $y\in P(d)$, compatibility with the arrow $(c,P(u)y)\to (d,y)$ givesThus $t:P\to Q$ is natural. Naturality of each ${\beta }_{c,x}$ shows $t{\alpha }_{c,x}={\beta }_{c,x}$. Conversely any transformation with these equations must have the displayed values $t_c(x)$, so it is unique. We have proved the canonical colimit presentation of a presheaf: