The following pages link to Pro-categories in homotopy theory (Q507065):
Displaying 25 items.
- Operads of genus zero curves and the Grothendieck-Teichmüller group (Q666710) (← links)
- Profinite completion of operads and the Grothendieck-Teichmüller group (Q1673990) (← links)
- Homotopy theory of monoids and derived localization (Q2038101) (← links)
- Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction (Q2074092) (← links)
- Proper base change for étale sheaves of spaces (Q2087378) (← links)
- An equivalence of profinite completions (Q2168897) (← links)
- On the homotopy theory for Lie \(\infty\)-groupoids, with an application to integrating \(L_\infty\)-algebras (Q2187726) (← links)
- An explicit model for the homotopy theory of finite-type Lie \(n\)-algebras (Q2187732) (← links)
- Recognizing quasi-categorical limits and colimits in homotopy coherent nerves (Q2198611) (← links)
- Comparison of stable homotopy categories and a generalized Suslin-Voevodsky theorem (Q2324579) (← links)
- Kato-Nakayama spaces, infinite root stacks and the profinite homotopy type of log schemes (Q2402864) (← links)
- A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type (Q2634796) (← links)
- Model \(\infty\)-categories. II: Quillen adjunctions (Q2662942) (← links)
- Profinite \(\infty\)-operads (Q2675117) (← links)
- Noncommutative CW-spectra as enriched presheaves on matrix algebras (Q2697951) (← links)
- The two out of three property in ind-categories and a convenient model category of spaces (Q2981749) (← links)
- Adjoint functor theorems for ∞‐categories (Q3296751) (← links)
- On the construction of limits and colimits in $\infty$-categories (Q3305543) (← links)
- On the \'etale homotopy type of higher stacks (Q5037507) (← links)
- The tangent bundle of a model category (Q5239849) (← links)
- On the formality of the little disks operad in positive characteristic (Q5859973) (← links)
- Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra (Q6041805) (← links)
- Étale cohomology, purity and formality with torsion coefficients (Q6072570) (← links)
- Simplicial model structures on pro-categories (Q6091935) (← links)
- On the profinite homotopy type of log schemes (Q6662429) (← links)
