nLab
amazing right adjoint

Context

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

Compact objects

Contents

Definition

William Lawvere’s definition of an atomic infinitesimal space is as an object Δ\Delta in a topos 𝒯\mathcal{T} such that the inner hom functor () Δ:𝒯𝒯(-)^\Delta : \mathcal{T} \to \mathcal{T} has a right adjoint (is an atomic object).

Notice that by definition of inner hom, () Δ(-)^\Delta always has a left adjoint. A right adjoint can only exist for very particular objects. Therefore the term amazing right adjoint

Right adjoints to representable exponentials

Assume 𝒯=Sh(C)\mathcal{T} = Sh(C) is a Grothendieck topos, that the Grothendieck topology on the site CC is subcanonical. Let ΔCSh(C)\Delta \in C \hookrightarrow Sh(C) be a representable object.

Then () Δ(-)^\Delta has a right adjoint, hence Δ\Delta is an atomic infinitesimal space, precisely if it preserves colimits.

This is a special case of the general adjoint functor theorem.

For if () Δ(-)^\Delta preserves colimits, its right adjoint is

() Δ:(YSh(C))(USh C(U Δ,Y)). (-)_\Delta : (Y \in Sh(C)) \mapsto (U \mapsto Sh_C(U^\Delta, Y)) \,.

The Y ΔY_\Delta defined this way is indeed a sheaf, due to the assumption that () Δ(-)^\Delta preserves colimits. So this is indeed a right adjoint.

A topos 𝒳\mathcal{X} is a local topos (over Set) if its global section functor Γ=Hom(1 𝒳,)\Gamma = Hom(1_{\mathcal{X}}, -) admits a right adjoint. This is hence an “external” version of the amazing right adjoint, exhibiting 1 𝒳1_{\mathcal{X}} as “atomic”.

References

The ubiquity of right adjoints to exponential functors in the context of synthetic differential geometry was first pointed out in Lawvere (1980). Lawvere (2004) suggests to augment lambda calculus with such fractional operators. Thorough discussion of the concept is in Yetter (1987) and Kock&Reyes (1999). Moerdijk&Reyes (1991) have a succinct overview in the context of SDG as does Lawvere (1997).

Revised on November 10, 2014 09:43:20 by Thomas Holder (89.204.138.91)