Pro-categories in homotopy theory

DOI10.2140/AGT.2017.17.567zbMATH Open1360.18025arXiv1507.01564OpenAlexW3103860062MaRDI QIDQ507065FDOQ507065

Authors: Ilan Barnea, Yonatan Harpaz, Geoffroy Horel 

Publication date: 3 February 2017

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

Abstract: The goal of 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 consider the pro-category of simplicial 'etale sheaves and use it to show that the topological realization of any Grothendieck topos coincides with the shape of the hyper-completion 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 Raptis.

Full work available at URL: https://arxiv.org/abs/1507.01564

Recommendations

• An equivalence of profinite completions
• Model structures on pro-categories
• A model structure on the category of pro-simplicial sets
• Profinite homotopy theory
• scientific article; zbMATH DE number 2096983

zbMATH Keywords

model categoriesprofinite completioninfinity-categoriespro-categoriesétale homotopy type

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Accessible and locally presentable categories (18C35)

Cited In (36)

• Kato-Nakayama spaces, infinite root stacks and the profinite homotopy type of log schemes
• An explicit model for the homotopy theory of finite-type Lie \(n\)-algebras
• Pro-algebraic homotopy types
• A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type
• Comparison of stable homotopy categories and a generalized Suslin-Voevodsky theorem
• The tangent bundle of a model category
• Profinite completion of operads and the Grothendieck-Teichmüller group
• Operads of genus zero curves and the Grothendieck-Teichmüller group
• On the construction of limits and colimits in $\infty$-categories
• Title not available (Why is that?)
• Strong pro-fibrations and ANR objects in pro-categories
• Adjoint functor theorems for \(\infty\)-categories
• Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
• Title not available (Why is that?)
• Simplicial model structures on pro-categories
• Homotopy theory of monoids and derived localization
• The pro-étale topos as a category of pyknotic presheaves
• Title not available (Why is that?)
• Profinite \(\infty\)-operads
• Model \(\infty\)-categories. II: Quillen adjunctions
• A new model for pro-categories
• Calculating limits and colimits in pro-categories
• On expansions and pro-pro-categories
• On the profinite homotopy type of log schemes
• Proper base change for étale sheaves of spaces
• On the homotopy theory for Lie \(\infty\)-groupoids, with an application to integrating \(L_\infty\)-algebras
• Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction
• Étale cohomology, purity and formality with torsion coefficients
• Mapping stacks and categorical notions of properness
• On the formality of the little disks operad in positive characteristic
• Whitehead Theorems in Pro-Homotopy Theory
• Noncommutative CW-spectra as enriched presheaves on matrix algebras
• On the étale homotopy type of higher stacks
• Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra
• The two out of three property in ind-categories and a convenient model category of spaces
• An equivalence of profinite completions

This page was built for publication: Pro-categories in homotopy theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q507065)