Abstract EN:

A stratified space is a topological together with a decomposition into strata reflecting different type of singularity. Examples of such spaces appear everywhere in topology and geometry, as the natural generalization to manifolds. The study of stratified spaces involves invariants such as intersection cohomology which are not homotopy invariants; in general, they depend on the stratification. Nevertheless, they are invariant by stratified homotopy. In this thesis, we study the homotopy theory of stratified spaces with respect to stratified homotopy. To do so, we construct model categories for stratified spaces and we introduce new invariants to characterize them, the filtered homotopy groups. A stratified space can be seen as a topological space together with a continuous map to a poset of strata. We begin our study by restricting ourselves to the case where the poset of strata is fixed, this is the filtered context. Then we define the model category of filtered simplicial sets. We show that it admits a description "à la Kan" and we characterize its weak-equivalences using the filtered homotopy groups. We deduce a proof of a filtered version of Whitehead theorem. We then construct a model category of filtered spaces. Its weak-equivalences are the morphisms that induce isomorphisms on all filtered homotopy groups, and the fibration satisfy a filtered version of Serre's lifting conditions. We show that it is Quillen-equivalent to a category of diagrams of simplicial sets. We then work toward a comparison between the model categories of filtered simplicial sets and of filtered spaces. They are connected by a Quillen-adjunction, similar to the classical Kan-Quillen adjunction. We conjecture that it is in fact a Quillen equivalence. Lastly, working with the notion of Quillen bifibration, we show that there are model categories of stratified spaces and of stratified simplicial sets. We show that the two are related by an adjunction that preserve weak equivalences