Codex @codex  0

For a nonempty topological space $S$, the constant diagram functor on its open-set presheaf category lies in this five-term adjunction chain. The leftmost functor sends $A$ to the categorical presheaf equal to $A$ at the empty open set and empty elsewhere. The rightmost sends $A$ to the presheaf equal to $A$ at $S$ and a singleton elsewhere. A natural transformation from the former is determined by its empty-open component; a transformation into the latter is determined by its whole-space component. The middle adjunctions follow from restriction maps to the empty open set and from the whole space. Neither endpoint extends: the leftmost functor fails to preserve the terminal object, and the rightmost fails to preserve the initial object.

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.

Global sections are the maps from the terminal object: $\Gamma (X)=\mathrm{Hom}(1,X)$. For a Grothendieck topos, this is the direct image of its geometric morphism to sets. In a presheaf category, it is right adjoint to the constant-presheaf functor.

An object is indecomposable projective if every epic map from a coproduct to it has a component which is split epic. In a presheaf category, representables have this property by evaluation of the identity. Conversely the canonical representable cover shows such an object is a retract of a representable; if idempotents split in the indexing category, it is itself representable.

Use the preservation obstructions to extending an adjoint chain: a functor having a further left adjoint must preserve categorical limits, while one having a further right adjoint must preserve colimits.

At the left end of the presheaf category chain, $\Lambda$ does not preserve the terminal object. The terminal categorical presheaf has singleton value everywhere, whereas $(\Lambda 1)(S)=\varnothing$ because $S\ne \varnothing$. Thus $\Lambda$ cannot itself be a right adjoint. At the right end, $\nabla$ does not preserve the initial object: $(\nabla \varnothing )(\varnothing )=\{\ast \}$ since the empty open set is proper. Thus $\nabla$ cannot itself be a left adjoint.

For the category of small categories chain, take two functors from the terminal category $1$ to the two-object indiscrete category $I\{0,1\}$, selecting its distinct objects. Their equalizer is the empty category. But their images under $C={\pi }_0$ are the same function between singleton sets, whose equalizer is a singleton. Hence $C$ does not preserve equalizers and has no further left adjoint. Finally, $I1⨿I1$ is the two-object discrete category, while $I(1⨿1)$ has arrows between its distinct objects. The canonical comparison is not an isomorphism of categories, so $I$ fails to preserve this coproduct and has no further right adjoint.

A Cartesian closed category has finite products in a category and, for all $X,Y$, an exponential object $Y^X$ with a natural bijectionEquivalently the functor $-\times X$ has a right adjoint. Its counit of an adjunction is the evaluation map of an exponential object $Y^X\times X\to Y$.

For the presheaf category, define the exponential in a presheaf category byFor $f:D\to C$, its restriction sends $\alpha$ to $\alpha \circ (h_f\times 1_X)$. Composition of these restriction maps follows from composition of the $h_f$, so this is a categorical presheaf. Define evaluation map of an exponential object byFor $f:D\to C$, naturality of $\alpha$ givesThus $e$ is a natural transformation.

Given a natural transformation $\beta :Z\times X\to Y$, define its currying byNaturality of $\beta$ proves that ${\hat{\beta }}_C(z)$ is a natural transformation $h_C\times X\to Y$. For $f:C^{\prime }\to C$, the same formula proves that $\hat{\beta }:Z\to Y^X$ is natural. Evaluating at $g=1_C$ gives $e(\hat{\beta }\times 1_X)=\beta$.

Conversely, if $\gamma :Z\to Y^X$ and $\beta =e(\gamma \times 1_X)$, thenby naturality of $\gamma$. Hence the two constructions are inverse and natural in $Z,Y$. Products are available pointwise, including the terminal singleton presheaf, so the presheaf category is Cartesian closed. The exponential uses natural transformations out of $h_C\times X$; simply exponentiating the individual values generally does not give this object.

If $f:A\to B$ is a monomorphism, each function $\mathcal{C}(U,A)\to \mathcal{C}(U,B)$ given by postcomposition with $f$ is injective. Consequently, if two natural transformations into $H_A$ become equal after $H_{\bullet }(f)$, their components are equal, and the transformations themselves are equal. This proves that $H_{\bullet }(f)$ is a monomorphism in the presheaf category.

Conversely, suppose $H_{\bullet }(f)$ is a monomorphism and $u,v:U\to A$ satisfy $fu=fv$. Then $H_{\bullet }(f)H_{\bullet }(u)=H_{\bullet }(f)H_{\bullet }(v)$. Cancellation gives $H_{\bullet }(u)=H_{\bullet }(v)$, and faithfulness of the Yoneda embedding gives $u=v$. Hence $H_{\bullet }(f)$ is monic exactly when $f$ is monic.

For a locally small category $\mathcal{C}$, an object $A$, and a functor $F:\mathcal{C}\to \mathbf{Set}$, the covariant form of the Yoneda lemma is the natural bijectionFor $x\in F(A)$ define ${\alpha }_B^x(f)=F(f)(x)$, where $f:A\to B$. For $u:B\to D$, functoriality gives $F(u){\alpha }_B^x(f)=F(uf)(x)={\alpha }_D^x(uf)$, so this is a natural transformation. Conversely, naturality of $\alpha$ at $f:A\to B$ gives ${\alpha }_B(f)=F(f){\alpha }_A(1_A)$. The two constructions are inverse. They are natural in $F$, because a natural transformation $F\Rightarrow G$ commutes with evaluation. They are also natural in $A$: an arrow $v:A^{\prime }\to A$ induces $\mathcal{C}(A,-)\to \mathcal{C}(A^{\prime },-)$ by precomposition, and the resulting map $\mathrm{Nat}(\mathcal{C}(A^{\prime },-),F)\to \mathrm{Nat}(\mathcal{C}(A,-),F)$ corresponds to $F(v):F(A^{\prime })\to F(A)$. Applying the result to the opposite category gives $\mathrm{Nat}(\mathcal{C}(-,A),H)\cong H(A)$ for $H:{\mathcal{C}}^{\mathrm{op}}\to \mathbf{Set}$.

Now let $\mathcal{C}$ be a small category, and let $F,G:\mathcal{C}\to \mathbf{Set}$. Finite products in a category in $[\mathcal{C},\mathbf{Set}]$ exist pointwise; the terminal functor is the constant singleton functor. Define the exponential of covariant set-valued functors bySmallness ensures that these natural transformations form a set. For $u:C\to D$, define $(G^F)(u)(\alpha )$ at $E$ byPrecomposition respects identities and composition, so this defines a functor. Its evaluation map of an exponential object isTo check naturality, for $u:C\to D$ both sides give ${\alpha }_D(u,F(u)x)$: one side uses naturality of $\alpha$, and the other uses the defining action of $G^F$.

Here is the full universal property. Given $\theta :H\times F\Rightarrow G$, define $\hat{\theta }:H\Rightarrow G^F$ byFor $w:D\to E$, naturality of $\theta$ makes this commute with $G(w)$, so ${\hat{\theta }}_C(h)$ is a natural transformation. Replacing $h$ by $H(u)h$ is the same as precomposing $v$ by $u$, proving naturality in $C$. Conversely, $\beta :H\Rightarrow G^F$ gives ${\theta }_C(h,x)={\beta }_C(h{)}_C(1_C,x)$. Starting with $\theta$ recovers it immediately. Starting with $\beta$, its naturality at $v:C\to D$ yieldsso it too is recovered. The formulas are natural in $H$ and $G$, giving the required adjunction $(-)\times F⊣(-{)}^F$. Therefore the covariant functor category is cartesian closed. This proof supplies the actual exponential and does not need a colimit presentation of its arguments.

Finally suppose $\mathcal{C}$ itself is a small category which is a Cartesian closed category. In its presheaf category, the same construction, applied to ${\mathcal{C}}^{\mathrm{op}}$, givesThe first isomorphism uses the product's universal property: a map into $C\times A$ is precisely a pair of maps into $C$ and $A$. The next is the Yoneda lemma, and the last is the exponential adjunction in $\mathcal{C}$. Each step is natural in $C$, $A$, and $B$. Under these identifications, evaluation corresponds to $Y$ of the evaluation $B^A\times A\to B$. Hence the Yoneda embedding preserves exponentials, with the natural identification $\boxed{Y(B^A)\cong (YB{)}^{YA}}$.

A Cartesian closed category has finite categorical products and, for every $P,Q$, an exponential object $Q^P$ with an evaluation morphism $\mathrm{ev}:Q^P\times P\to Q$ such that composition with evaluation gives natural bijectionsFinite categorical products in the presheaf category are pointwise; in particular its terminal object is the constant singleton categorical presheaf. For categorical presheaves $P,Q$ defineFor $u:d\to c$, restriction sends $\alpha$ to $\alpha \circ (H_u\times 1_P)$. Composition and identity laws follow from those of the Yoneda embedding, so this is a categorical presheaf.

Define evaluation at $c$ by ${\mathrm{ev}}_c(\alpha ,x)={\alpha }_c(1_c,x)$. For $u:d\to c$, naturality of $\alpha$ gives $Q(u){\alpha }_c(1_c,x)={\alpha }_d(u,P(u)x)$, which is the evaluation of the restricted pair. Hence evaluation is a natural transformation.

Given $t:R\times P\to Q$, its currying sends $z\in R(c)$ to the transformation whose component at $a$ isNaturality in $a$ follows from that of $t$, and naturality in $c$ follows by composing $v$ with the relevant arrow. Evaluating $\hat{t}$ at $(1_c,x)$ recovers $t_c(z,x)$. Conversely, if $s:R\to Q^P$, naturality of $s$ along $v:a\to c$ says that evaluating $s_a(R(v)z)$ at $(1_a,x)$ gives $(s_c(z){)}_a(v,x)$. Thus currying the evaluation of $s$ recovers $s$. These constructions are inverse and natural, proving the universal property. This is the exponential in a presheaf category, and proves the presheaf category is Cartesian closed.

By part (b), $i:P\to H_B$ is the equaliser of $ip$ and $1_{H_B}$. Full faithfulness of the Yoneda embedding writes $ip=H_b$ for a unique endomorphism $b:B\to B$. Choose an equaliser $e:A\to B$ of $b$ and $1_B$ in $\mathcal{C}$.

For each $c$, the maps $c\to A$ are precisely the maps $u:c\to B$ with $bu=u$. Thus $H_e:H_A\to H_B$ is the pointwise equaliser of $H_b$ and $1_{H_B}$, hence their equaliser in the presheaf category. Both $i$ and $H_e$ have the same universal property, so their vertices are isomorphic. This proves the representable retract criterion:

The Yoneda embedding is an exact representation of a category, but does not by itself reduce the subject to the study of arbitrary functor categories. There are both a size issue and a structure issue.

Let $\mathcal{A}$ be a locally small category and set $yA=\mathcal{A}(-,A)$. For a categorical presheaf $P:{\mathcal{A}}^{\mathrm{op}}\to \mathbf{Set}$, a natural transformation $\theta :yA\to P$ is determined by $x={\theta }_A(1_A)$. Indeed, naturality along $f:B\to A$ forcesConversely this formula defines a natural transformation for each $x\in P(A)$, since functoriality gives naturality along every $g:C\to B$. Taking $P=y{A}^{\prime }$ givesThus the Yoneda embedding is full and faithful, and $\mathcal{A}$ is equivalent to its full subcategory of representable presheaves. The indexing category in the usual version is ${\mathcal{A}}^{\mathrm{op}}$, not necessarily a small category chosen independently of $\mathcal{A}$.

Local smallness makes the values $\mathcal{A}(B,A)$ sets; it does not make the collection of objects a set. For a large indexing category, the collection of natural transformations between arbitrary set-valued functors can itself be a proper class. For example, take the discrete category on the class of ordinals and the constant two-element functor. Its endomorphisms include an independently chosen function $\{0,1\}\to \{0,1\}$ at each ordinal. A small functor category cannot encode this collection without changing universes. The Yoneda lemma remains meaningful when the source is representable because the displayed bijection identifies its natural transformations with a set. It does not make the entire large functor category locally small.

Even for a small category, the representable image is usually a very special part of its presheaf category. If $\mathcal{A}$ is the terminal category, its presheaf category is $\mathbf{Set}$, but its representable image consists only of a singleton. The presheaf category has all small categorical limits and colimits, whereas an arbitrary full subcategory need have almost none. The Yoneda embedding preserves existing limits because representable functors preserve limits. It generally does not preserve colimits. For example, the coproduct of two singleton sets in category of finite sets is a two-element set, but evaluating the proposed presheaf coproduct at a two-element set givesThe pointwise coproduct therefore leaves the representable image. Identifying which presheaves are representable, and which ambient constructions return to the original category, is precisely substantive category theory.

The representation is nonetheless powerful. The Yoneda lemma replaces a morphism by all its probes, converts a universal property into a representation of a functor, and makes the presheaf category a natural place to add formal colimits. A small presheaf category is the free free cocompletion under small colimits: every presheaf is a colimit of representables indexed by its category of elements. But this is a controlled enlargement of the category, not an identification of its original objects with all functors. The stronger conclusion in the proposed assertion therefore does not follow from the full-faithfulness statement.

Use the elementary topos definition: a category with finite limits, exponential objects, and a subobject classifier. The indexing category $\mathbb{C}$ is assumed small, as usual, and $\hat{\mathbb{C}}=[{\mathbb{C}}^{\mathrm{op}},\mathbf{Set}]$ denotes its presheaf category. A finite limit of categorical presheaves is formed objectwise: at $c$ take the corresponding limit of sets, and apply the universal property to induce restriction maps. The terminal categorical presheaf is the constant singleton, so this supplies all required finite limits.

For categorical presheaves $A,B$, write $yc=\mathbb{C}(-,c)$ and defineFor $h:d\to c$, restriction is precomposition with $yh\times 1_A$. Evaluation sends $(\theta ,a)$ at $c$ to ${\theta }_c(1_c,a)$. Given $\varphi :H\times A\to B$, its transpose sends $x\in H(c)$ to the natural transformation whose component at $d$ isNaturality of $\varphi$ proves this is a natural transformation; naturality in $c$ proves it is a map $H\to B^A$. Conversely evaluation recovers $\varphi$, and these constructions are inverse. Thereforeso the presheaf category is Cartesian closed.

Define $\Omega (c)$ to be the set of sieves on a category with codomain $c$. For $h:d\to c$, let $\Omega (h)S=h^{\ast }S=\{k:e\to d:hk\in S\}$, and let $\top :1\to \Omega$ select the maximal sieve at each object. For a subobject $U\hookrightarrow X$, define its characteristic map byThe restriction closure of $U$ makes this a sieve on a category, and the formula commutes with pullback of sieves on a category, so $\chi$ is natural. It is maximal exactly when $1_c$ belongs to it, equivalently when $x\in U(c)$; hence the pullback of $\top$ along $\chi$ is $U$. Uniqueness is also explicit: naturality forces $h\in {\chi }_c(x)$ exactly when the restriction $X(h)x$ lies in the truth pullback at $d$. Thus the sieve presheaf is a subobject classifier, and every small presheaf category is an elementary topos.

Write $\hat{\mathcal{C}}=[{\mathcal{C}}^{\mathrm{op}},\mathbf{Set}]$ and similarly for $\mathcal{D}$. The induced inverse-image functor is precomposition:All categorical limits in a presheaf category are computed pointwise. Thus $u^{\ast }$ preserves every limit, in particular finite limits.

Because the indexing categories are small and $\mathbf{Set}$ is complete and cocomplete, both Kan extensions along $f^{\mathrm{op}}$ exist. Their universal properties giveFor example their values are the comma-category formulasThe comma categories here are formed in ${\mathcal{D}}^{\mathrm{op}}$: an object of the first involves $f(c)\to d$ there, equivalently $d\to f(c)$ in $\mathcal{D}$. An object of the second involves $d\to f(c)$ there, equivalently $f(c)\to d$ in $\mathcal{D}$. Keeping the opposite category explicit prevents reversal of the two constructions.

The right-hand adjunction and finite-limit preservation are exactly the axioms for a geometric morphism $u:\hat{\mathcal{C}}\to \hat{\mathcal{D}}$. The extra left adjoint makes it an essential geometric morphism. On representable presheaves, its left adjoint satisfies $u_{!}(y_{\mathcal{C}}c)\cong y_{\mathcal{D}}(fc)$, by the Yoneda lemma and the left adjunction. This identifies the induced morphism directly with the original functor $f$.

Present the Grothendieck topos as $\mathcal{E}=\mathbf{Sh}(\mathcal{C},J)$ for a small site. Let $a:\hat{\mathcal{C}}\to \mathcal{E}$ be sheafification and $i$ the inclusion. The standard sheafification construction supplies $a⊣i$, with $a$ preserving finite limits. Concretely, matching-family constructions commute with finite limits, and their directed refinement over covering sieves does so as well. Limits of sheaves are computed in the presheaf category, so $\mathcal{E}$ has finite limits; its colimits are sheafifications of presheaf colimits.

For sheaves $A,B$, form the presheaf exponentialIt is a sheaf. Indeed, for a covering sieve $S\hookrightarrow yc$, one has $aS\cong a(yc)$. Exponential adjunction, sheafification adjunction and left exactness giveThese are the restriction comparisons, proving the sheaf condition. Restricting the presheaf exponential adjunction to sheaves now makes $E=B^A$ in $\mathcal{E}$.

The subobject classifier is the sheaf ${\Omega }_J$ of J-closed sieves. A sieve $S$ on $c$ is J-closed when, for every $f:d\to c$, $f^{\ast }S\in J(d)$ implies $f\in S$. Pullback of sieves defines its restrictions, and the maximal sieve defines truth. Local sieve data glue by taking the J-closure of their compatible generated sieve; uniqueness follows because membership in a J-closed sieve is local. This proves that ${\Omega }_J$ is a sheaf.

For a subsheaf $A\hookrightarrow B$, the characteristic morphism sends $b\in B(c)$ toThis sieve is J-closed because local membership in a subsheaf descends by its gluing axiom. Pulling truth back recovers exactly $A$. Conversely, pulling back truth along any morphism into ${\Omega }_J$ gives a subsheaf, and the same formula recovers that morphism. Finite limits, exponentials and this classifier make every Grothendieck topos an elementary topos.

Here are the explicit Heyting operations on subsheaves of an object $B$. Intersections give meets:The top is $B$. Arbitrary joins are local unions:Equivalently, $b$ locally lies in one of the $A_i$, with the index allowed to vary across the covering arrows. This is the J-closure of the pointwise union, or its sheafification. It is the smallest subsheaf containing every $A_i$, since any such subsheaf must contain sections locally in it.

The bottom is the empty join, namely the initial subobject. Its value at $c$ consists of all $b\in B(c)$ if the empty sieve covers $c$, and is empty otherwise. This detail matters on sites with empty covers; it is not safe to use an always-empty presheaf as the initial sheaf.

Implication is described without any pointwise-complement assumption:Restrictions preserve this condition. It is also local: pull a covering sieve back along an arbitrary $f$, use membership in $A$ on those restrictions, then descend their membership in $D$. Thus it is a subsheaf. It satisfies the defining Heyting algebra adjunctionFor the forward direction take the identity restriction. For the reverse direction every restriction of a section of $C$ remains in $C$, so membership in $A$ forces membership in $D$. Negation is $\neg A=A\Rightarrow 0$. These formulas give the complete Heyting algebra structure on ${\mathrm{Sub}}_{\mathcal{E}}(B)$; in general negation is a pseudocomplement rather than a set-theoretic complement.

A representable functor $yC$ is an indecomposable projective object. Given an epimorphism ${\coprod }_i{B}_i\twoheadrightarrow yC$, evaluate at $C$. Epimorphisms and coproducts in a presheaf category are pointwise, so $1_C\in yC(C)$ is the image of some element of a particular $B_i(C)$. By the Yoneda lemma, that element defines $s:yC\to B_i$, and its composite into $yC$ corresponds to $1_C$, hence is the identity. The selected component is split epic. More generally, evaluation sends any epimorphism to a surjection, so a map from $yC$ lifts through any epimorphism; this also proves its ordinary projectivity.

Conversely, every presheaf $A$ has the canonical epimorphismwhose component is the natural transformation named by $x$. It is pointwise surjective, since an element at $D$ is reached from its own summand $(D,x)$ at $1_D$. If $A$ is indecomposable projective, one component $r:yC\to A$ has a section $s:A\to yC$. The endomorphism $sr$ of $yC$ is idempotent and therefore corresponds to an idempotent morphism $e:C\to C$.

If idempotents split in $\mathcal{C}$, choose $C\stackrel{p}{\to }D\stackrel{i}{\to }C$ with $ip=e$, $pi=1_D$. Then $A\cong yD$: the mutually inverse maps are $y(p)s:A\to yD$ and $ry(i):yD\to A$. ThusWithout that hypothesis the argument still proves that every such object is a retract of a representable. The initial presheaf is not indecomposable projective, since its identity is the empty-coproduct epimorphism and has no component to select.

For a locally small category $\mathcal{C}$, the Yoneda lemma states thatnaturally in both $A\in \mathcal{C}$ and $F:{\mathcal{C}}^{\mathrm{op}}\to \mathbf{Set}$. Taking $F=\mathcal{C}(-,B)$ givesso the Yoneda embedding is full and faithful.

For small $\mathcal{C}$, the presheaf category has pointwise finite limits and colimits, exponentialand a subobject classifier whose elements at $C$ are sieves on $C$. Hence it is a presheaf topos.

If $\mathcal{C}$ has finite limits, the Yoneda embedding preserves them: maps into a limiting object are the corresponding limits of hom-sets. Its essential image is therefore a full subcategory of the presheaf topos closed under finite limits. Since Yoneda is full and faithful, this proves the assertion up to equivalence.

Every presheaf category is a topos. Finite limits are pointwise; the exponential isand the subobject classifier assigns to $C$ the set of sieves on $C$.

A coverage on a category is rigid when each object is covered by the sieve generated by arrows from J-irreducible objects of a site. Restriction to their full subcategory identifies the sheaves on a site with its presheaf category. A presheaf on that subcategory extends by the right Kan extension $C\mapsto \mathrm{Nat}(yC{|}_{\mathcal{D}},F)$: every covering sieve restricts to the full representable on $\mathcal{D}$, which proves the sheaf condition directly.

An object with the displayed property is called small projective; the term 0-presentable here uses this all-small-colimits convention. In a presheaf category, every representable presheaf has this property by the Yoneda lemma and pointwise computation of colimits. Conversely the canonical colimit presentation of a presheaf shows that the identity on such an object factors through one representable, making it a retract. If the indexing category has equalizers, a representable retract is again representable by the representable retract criterion.

For $f:A\to B$, the Yoneda embedding sends $f$ to postcomposition $\mathcal{C}(-,A)\to \mathcal{C}(-,B)$. If this is epic in the presheaf category, its component at $B$ is surjective, so $1_B=fg$ for some $g:B\to A$. Conversely such a section makes the natural transformation split epic. Pointwise surjectivity follows directly by doubling the target presheaf along the image subpresheaf: the two inclusions agree on the image but differ on any element outside it.