Pro-categories in homotopy theory (Q507065)

If \(\mathrm{Pro}(\mathcal{C})\) denotes the free completion of \(\mathcal{C}\) under cofiltered limits and \(\mathcal{C}_\infty\) the \(\infty\)-localization of \(\mathcal{C}\), then the main result of the paper states that the natural map \(\mathrm{Pro}(\mathcal{C})_\infty \to \mathrm{Pro}(\mathcal{C}_\infty)\) is an equivalence of \(\infty\)-categories whenever the induced model structure on \(\mathrm{Pro}\!(\mathcal{C})\) exists (the pro-category of an \(\infty\)-category is defined by a similar universal property). Three applications of this result are given. The first application gives a sufficient condition for the \(\infty\)-localization of an \(\omega\)-combinatorial model category to be \(\omega\)-presentable. The second application shows that the topological realization of any Grothendieck topos coincides with the shape of the hypercompletion of the associated \(\infty\)-topos. In the third application, it is shown that several model categories arising in profinite homotopy theory are indeed models for the \(\infty\)-category of profinite spaces. As a byproduct, the authors obtain new Quillen equivalences between these models, and also obtain an example which settles negatively a question raised by G. Raptis.