infinitesimal shape modality



cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory



Presentation over a site

Structures in a cohesive (,1)(\infty,1)-topos

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?


Modalities, Closure and Reflection



In a context of differential cohesion the infinitesimal shape modality or étale modality &\& characterizes coreduced objects. It is itself the right adjoint in an adjoint modality with the reduction modality and the left adjoint in an adjoint modality with the infinitesimal flat modality.


A context of differential cohesion is determined by the existence of an adjoint triple of modalities

&, \Re \dashv \Im \dashv \& \,,

where \Re and &\& are idempotent comonads and \Im is an idempotent monad.

Here \Im is the infinitesimal shape modality. The reflective subcategory that it defines is that of coreduced objects.


Relation for formally étale morphisms

The modal types of \Im in the context of some XX, i.e. those (YX)H /Y(Y\to X) \in \mathbf{H}_{/Y} for which the naturality square of the \Im -unit

X X Y Y \array{ X &\longrightarrow& \Im X \\ \downarrow && \downarrow \\ Y &\longrightarrow& \Im Y }

is a (homotopy) pullback square, are the formally étale morphisms YXY \to X.

Relation to de Rham spaces

For XX a geometric homotopy type, the result of applying the infinitesimal shape modality yields a type X \Im X which has the interpretation of the de Rham space of XX. See there for more.

Relation to jet bundles

For EE a dependent type on XX, its dependent product along the unit of the infinitesimal shape modality has the interpretation of the jet type j(E)j(E). See there for more.

Relation to crystalline cohomology

The cohomology of X\Im X has the interpretation of crystalline cohomology of XX. See there for more.


tangent cohesion

differential cohesion

graded differential cohesion

id id fermionic bosonic bosonic R rheonomic reduced infinitesimal infinitesimal & étale contractible ʃ discrete discrete differential * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \R & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{contractible}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{differential}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }
Revised on March 5, 2015 14:31:06 by Urs Schreiber (