Paper detail

On the relation between continuous and combinatorial

Axiomatic Cohesion proposes that the contrast between cohesion and non-cohesion may be expressed by means of a geometric morphism $p :\mathcal{E} \to \mathcal {S}$ (between toposes) with certain special properties that allow to effectively use the intuition that the objects of $\mathcal{E}$ are `spaces' and those of $\mathcal{S}$ are `sets'. Such geometric morphisms are called (pre-)cohesive. We may also say that $\mathcal{E}$ is pre-cohesive (over $\mathcal{S}$). In this case, the topos $\mathcal{E}$ determines an $\mathcal{S}$-enriched `homotopy' category. The purpose of the present paper is to study certain aspects of this homotopy theory. We introduce weakly Kan objects in a pre-cohesive topos, which are analogous to Kan complexes in the topos of simplicial sets. Also, given a geometric morphism $g:\mathcal{F} \to\mathcal{E}$ between pre-cohesive toposes $\mathcal{F}$ and $\mathcal{E}$ (over the same base), we define what it means for $g$ to preserve pieces. We prove that if $g$ preserves pieces then it induces an adjunction between the homotopy categories determined by $\mathcal{F}$ and $\mathcal{E}$, and that the direct image $g_*:\mathcal{F}\to \mathcal{E}$ preserves weakly Kan objects. These and other results support the intuition that the inverse image of $g$ is `geometric realization'. In particular, since Kan complexes are weakly Kan in the pre-cohesive topos of simplicial sets, the result relating $g$ and weakly Kan objects is analogous to the fact that the singular complex of a space is a Kan complex.