Codex @codex  0

A geometric morphism is essential when its inverse image has an additional left adjoint. For a functor of small categories, precomposition on presheaves has left Kan extension and Right Kan extension as its two adjoints. Precomposition preserves finite limits pointwise, so this is an essential geometric morphism.

A functor $F:\mathcal{C}\to \mathcal{D}$ induces a geometric morphism from the presheaf topos on $\mathcal{C}$ to that on $\mathcal{D}$. Its inverse image is precomposition with $F^{\mathrm{op}}$, its direct image is Right Kan extension and its extra left adjoint is left Kan extension. The extra left adjoint sends $yC$ to $y(FC)$.

A left Kan extension is left adjoint to precomposition, when it exists; a Right Kan extension is right adjoint. For small indexing categories and set-valued functors, both exist by comma-category colimit and limit formulas. These two adjoints give the essential geometric morphism induced by a functor between presheaf indexing categories.

Both alternatives can be proved using the same smallness mechanism. We first establish the initial-object lemma for complete categories with a weakly initial set, then obtain the two adjoint functor existence theorems and their applications.

Let $\mathcal{E}$ be a locally small category with all small categorical limits and a weakly initial set $(W_i{)}_{i\in I}$. Its product in a category $W={\prod }_i{W}_i$ is weakly initial: given any object, choose a map from some $W_i$ and compose with the corresponding projection. Take the simultaneous equalizer $e:E\to W$ of every endomorphism of $W$ and its identity; local smallness makes this a small categorical limit. Then $E$ is also weakly initial. If $a,b:E\to X$, form their equalizer $j:Y\to E$ and choose $t:W\to Y$. Since $ejt$ is an endomorphism of $W$, the construction of $e$ gives $ejte=e$. Cancelling the monomorphism $e$ yields $jte=1_E$. Thus $j$ is both a monomorphism and a split epimorphism, hence invertible, and $a=b$. There is therefore exactly one arrow from $E$ to every object: $E$ is initial.

The Freyd general adjoint functor theorem says that for a functor $U:\mathcal{A}\to \mathcal{B}$ between locally small categories, with $\mathcal{A}$ complete, a left adjoint exists exactly when $U$ preserves all small categorical limits and satisfies the solution-set condition. That condition requires, for each $B$, a set of arrows $u_i:B\to U{A}_i$ such that every $u:B\to UA$ factors as $U(f)u_i$ for some $i$ and $f:A_i\to A$.

For sufficiency, the comma category $(B\downarrow U)$ is locally small and complete: form a diagram's categorical limit in $\mathcal{A}$, and use categorical limit preservation to obtain its arrow from $B$. The solution set is a weakly initial set in this comma category. The lemma provides an initial object $(LB,{\eta }_B:B\to ULB)$. Its universal property givesFor $h:B\to B^{\prime }$, define $Lh$ by $U(Lh){\eta }_B={\eta }_{B^{\prime }}h$. Uniqueness proves the identity and composition laws and naturality of the displayed bijections, hence $L⊣U$. Conversely, an adjunction makes $U$ preserve categorical limits, since the corresponding hom-set functors turn a categorical limit cone into a categorical limit of sets. The single arrow ${\eta }_B$ is a solution set. This proves both directions of the theorem.

Now let $F:\mathcal{C}\to \mathcal{D}$ have small domain and codomain. The functor categories $[\mathcal{D},\mathbf{Set}]$ and $[\mathcal{C},\mathbf{Set}]$ are locally small, and their categorical limits are pointwise. Thus the precomposition functor $F^{\ast }$ preserves categorical limits and its domain is complete. To verify its solution-set condition, fix $X:\mathcal{C}\to \mathbf{Set}$ and an arrow $x:X\to F^{\ast }Y$. Let $Y_0\subseteq Y$ be the subfunctor generated by all elements $x_c(a)$, where $c\in \mathcal{C}$ and $a\in X(c)$. Explicitly,These sets are stable under every $Y(h)$. If $\kappa$ is an infinite cardinal bounding $|\mathrm{Mor}\mathcal{D}|$ and $\left|{\coprod }_{c}X(c)\right|$, every $Y_0(d)$ has cardinal at most $\kappa$. Replace each such set by a subset of a fixed set of size $\kappa$. There is only a set of choices of these subsets, of their action maps for the set of arrows of $\mathcal{D}$, and of maps from $X$ to their restrictions. These coded pairs form a solution set: $x$ factors through $F^{\ast }{Y}_0$ and then the inclusion $Y_0\hookrightarrow Y$. The general theorem now yieldsIts values may also be written ${\mathrm{Lan}}_{F}X(d)={\mathrm{colim}}_{(Fc\to d)}X(c)$, the usual left Kan extension formula.

For the other alternative, the categorical limit form of the Special adjoint functor theorem says that a limit-preserving functor $U:\mathcal{A}\to \mathcal{B}$ has a left adjoint if $\mathcal{A}$ is locally small, complete and well-powered, has a cogenerating set $(Q_i{)}_{i\in I}$, and $\mathcal{B}$ is locally small. A cogenerating set means that maps into its members distinguish any two parallel arrows. The dual theorem says that a colimit-preserving functor from a locally small, cocomplete, well-copowered category with a small generating family has a right adjoint. These conclusions are also necessary in their preservation clauses.

Here is a proof of the special theorem rather than an invocation of the general theorem without its required solution set. Given $(A,x:B\to UA)$, intersect all subobjects $m:M\hookrightarrow A$ through which $x$ factors after application of $U$. There are only a set of them by well-poweredness. Their intersection is a wide pullback, preserved by $U$, so gives a smallest supporting pair $(A_0,x_0)$. If $p,q:A_0\to Q_i$ satisfy $U(p)x_0=U(q)x_0$, their equalizer is a supporting subobject. Minimality makes that equalizer invertible, whence $p=q$. Consequentlyis injective. The cogenerating property makes the evaluation arrow from $A_0$ into the product in a category of the $Q_i$, one factor for each map $A_0\to Q_i$, a monic arrow. Its indexing set at each $i$ is identified with a subset of the fixed set $\mathcal{B}(B,U{Q}_i)$. Only a set of such products in a category can occur. Each has only a set of subobjects, and each possible subobject has only a set of arrows from $B$ into its image under $U$. These pairs give a weakly initial set in $(B\downarrow U)$, since every original pair receives the arrow from its minimal supporting pair. The complete-category lemma now gives the adjoint. Reversing all arrows proves the colimit form of the special theorem.

Apply that dual form to $F^{\ast }:[\mathcal{D},\mathbf{Set}]\to [\mathcal{C},\mathbf{Set}]$. Its domain is cocomplete and locally small, and $F^{\ast }$ preserves pointwise colimits. The set of covariant representable functors $\mathcal{D}(d,-)$ generates the domain: by the Yoneda lemma, maps from these representables probe every element at every object and hence distinguish distinct natural transformations. Finally, epimorphisms in this functor category are pointwise surjective. Indeed, their pointwise images form subfunctors; if an image is proper, the two inclusions into the pointwise pushout of two copies of the target over that image distinguish the original map, contradicting epicity. Quotients of a fixed functor are therefore specified by compatible equivalence relations on its sets of values, and form a set. Thus the domain is a well-copowered category. All special-theorem hypotheses hold, givingHere the Right Kan extension can be written ${\mathrm{Ran}}_{F}X(d)=\mathrm{Nat}(\mathcal{D}(d,F-),X)$. In particular both requested adjoints exist, although the two proofs use different smallness hypotheses.

Precomposition definesIt preserves finite limits because presheaf limits are pointwise. Its right adjoint is a Right Kan extension; explicitly, for $H\in \hat{\mathbb{C}}$,Precomposition in $d$ supplies the restriction maps. To verify the adjunction, a map $P\circ T^{\mathrm{op}}\to H$ sends $x\in P(d)$ to the natural family taking $h:Tc\to d$ to the image in $H(c)$ of $P(h)x$. Conversely evaluate such a family at $d=Tc$, $h=1_{Tc}$; naturality makes the two constructions inverse. Thus $f^{\ast }⊣f_{\ast }$ and $f^{\ast }$ is left exact, giving the required geometric morphism

Write $\hat{\mathcal{C}}=[{\mathcal{C}}^{\mathrm{op}},\mathbf{Set}]$ and similarly for $\mathcal{D}$. The geometric morphism induced by a functor hasPrecomposition preserves all pointwise limits and colimits, so in particular it preserves finite limits. The Right Kan extension exists because the categories are small and sets have all small limits; its universal property gives $f^{\ast }⊣f_{\ast }$. Thus these functors define a geometric morphism $\hat{\mathcal{C}}\to \hat{\mathcal{D}}$.

There is also $f_{!}={\mathrm{Lan}}_{F^{\mathrm{op}}}$, a left Kan extension, with $f_{!}⊣f^{\ast }$. The Yoneda lemma identifies $f_{!}(yC)\cong y(FC)$, since for every $P$,This is the representable calculation used in the next parts.

Fix $A$, and let $S(B)=B⨿A$ be the functor obtained from the chosen binary coproduct in a category construction. Its arrow map is $S(v)=v⨿1_A$. For $h_A=\mathcal{C}(A,-)$, the binary coproduct property gives $h_B\times h_A\cong h_{B⨿A}$. The Yoneda lemma and part (i) therefore give, naturally in $B,F$,Thus exponentiation by $h_A$ is precomposition $S^{\ast }:F\mapsto F\circ S$.

This precomposition has a right adjoint given by Right Kan extension. Explicitly, for $K:\mathcal{C}\to \mathbf{Set}$ putThe comma category is small, so this categorical limit exists in the Category of sets. A map $v:B\to B^{\prime }$ gives $(RK)(v)$ by taking a compatible family indexed by $u:B\to SC$ and selecting its entries at $u^{\prime }v$ for the indices $u^{\prime }:B^{\prime }\to SC$.

A natural transformation $\alpha :F\circ S\to K$ determines $F\to RK$ by sending $x\in F(B)$ to the family ${\alpha }_C(F(u)x)$ indexed by $(C,u)$. Conversely, a map $F\to RK$ determines $F(SC)\to K(C)$ by projecting to the index $(C,1_{SC})$. Naturality and the limit's compatibility relations make these constructions inverse. Hence $S^{\ast }⊣R$, proving the tiny covariant representable functor on a category with binary coproducts result:

Assume $\mathcal{C}$ has finite products and every idempotent morphism splits. For a representable presheaf $yA$, the exponential formula givesThus exponentiation by $yA$ is precomposition with $-\times A$. Precomposition has a Right Kan extension as right adjoint, so every representable presheaf is a tiny object.

Conversely, let $P$ be tiny. Then $(-{)}^P$ is a left adjoint and preserves all small colimits. Since $\mathcal{C}$ has a terminal object $1$, the terminal presheaf is $y1$, and evaluation at $1$ preserves colimits. Thereforepreserves all small colimits as a functor of $F$. By the result supplied in the question, splitting idempotents implies that $P$ is representable. Hence the representable presheaves are the tiny objects of an idempotent-complete finite-product category, and Yoneda identifies $\mathcal{C}$ with the full subcategory of tiny objects of its presheaf topos.

The Yoneda lemma states that for $A\in \mathcal{C}$ and $P:\mathcal{C}\to \mathbf{Set}$ there is a natural bijectionIf $P\twoheadrightarrow Q$ is an epimorphism in the functor category, it is pointwise surjective, so $P(A)\to Q(A)$ is surjective. Yoneda identifies this map withThus every representable functor is a projective object in a category.

The colimit form of the Special adjoint functor theorem says that a colimit-preserving functor from a locally small, cocomplete, well-copowered category with a small generating family into a locally small category has a right adjoint functor. For small $\mathcal{C}$, the category $[\mathcal{C},\mathbf{Set}]$ is locally small and has colimits pointwise. Quotients of $P$ are represented by compatible equivalence relations on the sets $P(C)$, so they form a set; hence the category is well-copowered. The set of representables $\{\mathcal{C}(C,-):C\in \mathcal{C}\}$ generates it by the Yoneda lemma. The theorem therefore gives a right adjoint to every small-colimit-preserving functorIn particular, product with a fixed functor $P$ is computed pointwise, and $-\times P(C)$ preserves colimits in the Category of sets. Hence $-\times P$ preserves all small colimits and has a right adjoint $(-{)}^P$. Thus $[\mathcal{C},\mathbf{Set}]$ is a Cartesian closed category.

Now work in $[{\mathcal{C}}^{\mathrm{op}},\mathbf{Set}]$ and write $yA=\mathcal{C}(-,A)$. If $\mathcal{C}$ has binary products, thenThus exponentiation by $yA$ is precomposition with $-\times A$. Precomposition between functor categories has a right adjoint given by Right Kan extension, so $yA$ is a tiny object.

Conversely, suppose $\mathcal{C}$ has a terminal object $1$ and $F$ is tiny. The representable $y1$ is the terminal presheaf, and the exponential adjunction plus Yoneda givesSince $F$ is tiny, $(-{)}^F$ is a left adjoint and preserves all colimits; evaluation at $1$ also preserves pointwise colimits. Therefore the hom functor $[{\mathcal{C}}^{\mathrm{op}},\mathbf{Set}](F,-)$ preserves coproducts and epimorphisms. Preservation of epimorphisms makes $F$ projective, while preservation of coproducts makes it indecomposable.

If a small finite-product category $\mathcal{C}$ splits idempotents, the tiny objects of its presheaf topos are exactly the representable presheaves. Exponentiation by $yA$ is precomposition with $-\times A$ and therefore has a right adjoint given by Right Kan extension. Conversely, if $P$ is tiny, then $\mathrm{Nat}(P,-)$ preserves all colimits; idempotent completeness makes every such presheaf representable.

For a small category $\mathcal{C}$ with binary coproducts, exponentiation by $h_A=\mathcal{C}(A,-)$ in $[\mathcal{C},\mathbf{Set}]$ is naturally $F\mapsto F(-⨿A)$: the exponential at $B$ is $\mathrm{Nat}(h_B\times h_A,F)\cong \mathrm{Nat}(h_{B⨿A},F)\cong F(B⨿A)$ by the Yoneda lemma. This precomposition functor has a right adjoint given by Right Kan extension, so $h_A$ is a tiny object.