We study the category pro- S S \mathcal {SS} of pro-simplicial sets, which arises in étale homotopy theory, shape theory, and pro-finite completion. We establish a model structure on pro- S S \mathcal {SS} so that it is possible to do homotopy theory in this category. This model structure is closely related to the strict structure of Edwards and Hastings. In order to understand the notion of homotopy groups for pro-spaces we use local systems on pro-spaces. We also give several alternative descriptions of weak equivalences, including a cohomological characterization. We outline dual constructions for ind-spaces.
CITATION STYLE
Isaksen, D. (2001). A model structure on the category of pro-simplicial sets. Transactions of the American Mathematical Society, 353(7), 2805–2841. https://doi.org/10.1090/s0002-9947-01-02722-2
Mendeley helps you to discover research relevant for your work.