#### Volume 17, issue 1 (2017)

 Recent Issues
 The Journal About the Journal Subscriptions Editorial Board Editorial Interests Editorial Procedure Submission Guidelines Submission Page Author Index To Appear ISSN (electronic): 1472-2739 ISSN (print): 1472-2747
Pro-categories in homotopy theory

### Ilan Barnea, Yonatan Harpaz and Geoffroy Horel

Algebraic & Geometric Topology 17 (2017) 567–643
##### Abstract

Our goal in this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$–categorical approach, as developed by Lurie. Three applications of our main result are described. In the first application we use (a dual version of) our main result to give sufficient conditions on an $\omega$–combinatorial model category, which insure that its underlying $\infty$–category is $\omega$–presentable. In the second application we show that the topological realization of any Grothendieck topos coincides with the shape of the hypercompletion of the associated $\infty$–topos. In the third application we show that several model categories arising in profinite homotopy theory are indeed models for the $\infty$–category of profinite spaces. As a byproduct we obtain new Quillen equivalences between these models, and also obtain an example which settles negatively a question raised by G Raptis.

##### Keywords
pro-categories, model categories, infinity-categories, étale homotopy type, profinite completion
##### Mathematical Subject Classification 2010
Primary: 18G55, 55U35
Secondary: 18C35
##### Publication
Received: 23 May 2016
Accepted: 30 June 2016
Published: 26 January 2017
##### Authors
 Ilan Barnea Department of Mathematics Hebrew University of Jerusalem 9190401 Jerusalem Israel Yonatan Harpaz Département de Mathématiques et Applications École Normale Supérieure 45 rue d’Ulm 75005 Paris France https://sites.google.com/site/yonatanharpaz/ Geoffroy Horel Max Planck Institute for Mathematics Vivatsgasse 7 D-53111 Bonn Germany http://geoffroy.horel.org