Thomas Blom, Ieke Moerdijk
Published 2020-09-16Version 1
We describe a method for constructing simplicial model structures on ind- and pro-categories. Our method is particularly useful for constructing "profinite" analogues of known model categories. Our construction quickly recovers Morel's model structure for pro-p spaces and Quick's model structure for profinite spaces, but we will show that it can also be applied to construct many interesting new model structures. In addition, we study some general properties of our method, such as its functorial behaviour and its relation to Bousfield localization. We compare our construction to the infinity-categorical approach to ind- and pro-categories in an appendix.
Model structures on pro-categories
Commutative ring objects in pro-categories and generalized Moore spectra
(Co)homology of crossed modules with coefficients in a $π_1$-module
![QR code for arXiv:2009.07539 [math.AT]](http://oss.arxitics.com/images/favicon.svg)