## Higher fundamental functors for simplicial sets, Cahiers Topologie Géom

Venue: | Diff. Catég |

Citations: | 11 - 8 self |

### BibTeX

@ARTICLE{Grandis_higherfundamental,

author = {Marco Grandis},

title = {Higher fundamental functors for simplicial sets, Cahiers Topologie Géom},

journal = {Diff. Catég},

year = {},

pages = {101--136}

}

### OpenURL

### Abstract

Abstract. An intrinsic, combinatorial homotopy theory has been developed in [G3] for simplicial complexes; these form the cartesian closed subcategory of simple presheaves in!Smp, the topos of symmetric simplicial sets, or presheaves on the category!å of finite, positive cardinals. We show here how this homotopy theory can be extended to the topos itself,!Smp. As a crucial advantage, the fundamental groupoid Π1:!Smp = Gpd is left adjoint to a natural functor M1: Gpd =!Smp, the symmetric nerve of a groupoid, and preserves all colimits – a strong van Kampen property. Similar results hold in all higher dimensions. Analogously, a notion of (non-reversible) directed homotopy can be developed in the ordinary simplicial topos Smp, with applications to image analysis as in [G3]. We have now a homotopy n-category functor ↑Πn: Smp = n-Cat, left adjoint to a nerve Nn = n-Cat(↑Πn(∆[n]), –). This construction can be applied to various presheaf categories; the basic requirements seem to be: finite products of representables are finitely presentable and there is a representable 'standard interval'.