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 (between toposes) with certain special properties that allow to effectively use the intuition that the objects of are `spaces' and those of are `sets'. Such geometric morphisms are called (pre-)cohesive. We may also say that is pre-cohesive (over ). In this case, the topos determines an -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 between pre-cohesive toposes and (over the same base), we define what it means for to preserve pieces. We prove that if preserves pieces then it induces an adjunction between the homotopy categories determined by and , and that the direct image preserves weakly Kan objects. These and other results support the intuition that the inverse image of is `geometric realization'. In particular, since Kan complexes are weakly Kan in the pre-cohesive topos of simplicial sets, the result relating and weakly Kan objects is analogous to the fact that the singular complex of a space is a Kan complex.