Spahn infinitesimal cohesive type theory (Rev #1)

Prerequisites

Let $H$ , $H_th$ be cohesive toposes. An adjoint triple

(i_!\dashv i^*\dashv i_*):H\stackrel{i_*}{\to}H_th

is said to exhibit an infinitesimal cohesion if $i_!$ is full, faithful and preserves the terminal object.

(1) It follows from the definition that also $i_*$ is full and faithful.

(2) $(i^*\dashv i_*)$ is a (geometric) morphism of toposes over $\infty Grpd$ . This means that

\array{ \mathbf{H} && \stackrel{(i^* \dashv i_*)}{\to} && \mathbf{H}_{th} \\ & {}_{\mathllap{\Gamma}}\searrow && \swarrow_{\mathrlap{\Gamma}} \\ && \infty Grpd }

commutes.

(3) The same holds for $(i_* \dashv i^!)$

\array{ \mathbf{H}_{th} && \stackrel{(i_* \dashv i^!)}{\to} && \mathbf{H} \\ & {}_{\mathllap{\Gamma}}\searrow && \swarrow_{\mathrlap{\Gamma}} \\ && \infty Grpd } \,.

Revision on November 26, 2012 at 16:08:43 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.