Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- PART I DERIVED FUNCTORS AND HOMOTOPY (CO)LIMITS
- PART II ENRICHED HOMOTOPY THEORY
- PART III MODEL CATEGORIES AND WEAK FACTORIZATION SYSTEMS
- 11 Weak factorization systems in model categories
- 12 Algebraic perspectives on the small object argument
- 13 Enriched factorizations and enriched lifting properties
- 14 A brief tour of Reedy category theory
- PART IV QUASI-CATEGORIES
- Bibliography
- Glossary of Notation
- Index
11 - Weak factorization systems in model categories
from PART III - MODEL CATEGORIES AND WEAK FACTORIZATION SYSTEMS
Published online by Cambridge University Press: 05 June 2014
- Frontmatter
- Dedication
- Contents
- Preface
- PART I DERIVED FUNCTORS AND HOMOTOPY (CO)LIMITS
- PART II ENRICHED HOMOTOPY THEORY
- PART III MODEL CATEGORIES AND WEAK FACTORIZATION SYSTEMS
- 11 Weak factorization systems in model categories
- 12 Algebraic perspectives on the small object argument
- 13 Enriched factorizations and enriched lifting properties
- 14 A brief tour of Reedy category theory
- PART IV QUASI-CATEGORIES
- Bibliography
- Glossary of Notation
- Index
Summary
Having exhausted the theory of derived functors, we shift our focus to model categories, the context in which they are most commonly constructed. This contextualization appears in Section 11.3, where the definition of a model category finally appears, but first we focus on the parts of a model structure invisible to the underlying homotopical category. We think this perspective nicely complements standard presentations of model category theory, for example, [24, 36, 38]. (The newer [58] bears a familial resemblance to our presentation.) Those sources allow our treatment here to be quite brief. Where we have nothing of substance to contribute, rather than retrace well-trodden ground, we leave the standard parts of the theory to existing literature.
The reward for our work comes in the last section, in which we prove a theorem with a number of important consequences. Specifically, we describe the homotopical properties of the weighted limit and weighted colimit bifunctors in model category language. Using this, we give a simple proof of the homotopy finality theorem 8.5.6 and finally show that the different “op” conventions for the homotopy limit and homotopy colimit functors discussed in Remark 7.8.3 give weakly equivalent results. Finally, we prove that several familiar constructions for particular homotopy colimits have the appropriate universal properties.
Lifting problems and lifting properties
Classically, cofibrations and fibrations, technical terms in the context of any model structure, refer to classes of continuous functions of topological spaces characterized by certain lifting properties.
- Type
- Chapter
- Information
- Categorical Homotopy Theory , pp. 167 - 189Publisher: Cambridge University PressPrint publication year: 2014