Strict model structures for pro-categories
Pro-objects of a category \({\mathcal C}\) are cofiltered diagrams in \({\mathcal C}\). With morphisms pro-\({\mathcal C}(X,Y)=\lim_t\text{colim}_s {\mathcal C}(X_s,V_t)\) one has the category pro-\({\mathcal C}\). If the category \({\mathcal C}\) has a homotopy theory one would have a similar one for pro-\({\mathcal C}\). When \({\mathcal C}\) is a proper model category (like the most important examples of model categories) then pro-\({\mathcal C}\) has a proper model structure in which weak equivalences (resp. cofibrations) are levelwise weak equivalences (resp. cofibrations) and the right lifting property gives fibrations. The obtained structure is simplicial when \({\mathcal C}\) is simplicial. For the entire collection see [Zbl 1027.00023].
- Strongly fibered objects and spaces
- Higher Galois theory
- Completions of pro-spaces
- Duality and Pro-Spectra
- Quantisation of derived Lagrangians
- The derived deformation theory of a point
- Comparison of stable homotopy categories and a generalized Suslin-Voevodsky theorem
- Strong shape in categories enriched over groupoids
- Localization with respect to a class of maps. I: Equivariant localization of diagrams of spaces
- Variations on a theme of homotopy
- \(p\)-adic deformation of algebraic cycle classes
- Equivariant homotopy theory for pro-spectra
- Profinite homotopy theory
- A generalization of Quillen's small object argument
- A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type
- Model bicategories and their homotopy bicategories
- The étale symmetric Künneth theorem
- A model structure on the category of pro-simplicial sets
- Homotopy theory of diagrams
- Realizable homotopy colimits
- Building a model category out of multiplier ideal sheaves
- The two out of three property in ind-categories and a convenient model category of spaces
- Model structures for pro-simplicial presheaves
- Anabelian geometry with étale homotopy types
- On closed models on the precategory of small categories and simplicial schemes
- Whitehead Theorems in Pro-Homotopy Theory
- Commutative ring objects in pro-categories and generalized Moore spectra
- Double homotopy (co)limits for relative categories
- Calculating limits and colimits in pro-categories
- A new model for pro-categories
- A theory of 2-pro-objects
- Pro-categories in homotopy theory
- Galois descent criteria
- Non functorial cylinders in a model category
- Non functorial cylinders in a model category
- Simplicial model structures on pro-categories
- Model structures on exact categories
- A note on the homotopy theory of pro-\(G\)-spectra
- Model structures on pro-categories
- t-model structures
- Strong pro-fibrations and ANR objects in pro-categories
This page was built for publication: Strict model structures for pro-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4811761)
