Model Categories and Homotopy Theory

⚡ Key Takeaways

A model category is a category equipped with three classes of morphisms — weak equivalences, fibrations, and cofibrations — satisfying axioms that allow one to "do homotopy theory" abstractly: invert the weak equivalences to form a homotopy category, construct derived functors, and manipulate homotopy limits and colimits. Introduced by Daniel Quillen in 1967, the framework unifies topological homotopy theory, homological algebra, and many other settings under a single axiomatic umbrella. Used wherever one needs a robust notion of "sameness up to deformation": algebraic topology, derived algebraic geometry, deformation theory, and $(\infty,1)$ -category theory.

💡 The Core Insight

Homotopy theory is the study of categories together with a class of maps you wish to treat as isomorphisms. Doing so directly is intractable, but if those "weak equivalences" fit into the rigid scaffolding of fibrations (maps with a right lifting property) and cofibrations (maps with a left lifting property), then every object can be functorially replaced by a "good" (cofibrant–fibrant) representative, between which homotopy classes of maps coincide exactly with morphisms in the localized category. The axioms are precisely the abstraction of what makes Serre fibrations, CW-inclusions, and homotopy equivalences of spaces interact correctly.

DefinitionWeak Factorization System

Let $\mathcal{C}$ be a category and $i: A \to B$ , $p: X \to Y$ morphisms. We say $i$ has the left lifting property (LLP) against $p$ (equivalently $p$ has the right lifting property, RLP, against $i$ ), written $i \boxslash p$ , if for every commutative square there exists a diagonal filler:

1

\quad \begin{array}{ccc} A & \xrightarrow{\;f\;} & X \\ {\scriptstyle i}\downarrow & \nearrow{\scriptstyle h} & \downarrow{\scriptstyle p} \\ B & \xrightarrow{\;g\;} & Y \end{array} \qquad p\circ h = g,\quad h\circ i = f.

Derivation hint: the filler $h$ makes both triangles commute; existence (not uniqueness) is required. A pair $(\mathcal{L}, \mathcal{R})$ of morphism classes is a weak factorization system if (i) $\mathcal{L} = {}^{\boxslash}\mathcal{R}$ and $\mathcal{R} = \mathcal{L}^{\boxslash}$ (mutual lifting closure), and (ii) every morphism $f$ factors as $f = p \circ i$ with $i \in \mathcal{L}$ , $p \in \mathcal{R}$ .

DefinitionModel Category — Quillen's Axioms

A model category is a category $\mathcal{M}$ with three classes of morphisms — weak equivalences $W$ (marked $\xrightarrow{\sim}$ ), fibrations $F$ (marked $\twoheadrightarrow$ ), and cofibrations $C$ (marked $\rightarrowtail$ ) — such that:

(MC1) $\mathcal{M}$ has all small limits and colimits (in particular an initial object $\varnothing$ and terminal object $*$ ).
(MC2) 2-out-of-3: if any two of $f$ , $g$ , $g\circ f$ are in $W$ , so is the third:

2

\quad f,g\in W \;\Rightarrow\; g f \in W;\qquad f, gf \in W \Rightarrow g \in W;\qquad g, gf \in W \Rightarrow f \in W.

Derivation hint: this is precisely the condition making $W$ a "would-be class of isomorphisms" — the localization sees them as invertible.

(MC3) Retracts: each of $W$ , $F$ , $C$ is closed under retracts (in the arrow category).
(MC4) Lifting: call a map a trivial (acyclic) fibration if it lies in $F\cap W$ , and a trivial cofibration if in $C\cap W$ . Then

3

\quad C \boxslash (F\cap W) \qquad\text{and}\qquad (C\cap W) \boxslash F.

Derivation hint: cofibrations lift on the left against trivial fibrations; trivial cofibrations lift on the left against fibrations — two lifting properties dual to each other.

(MC5) Factorization (functorial): every map $f$ factors functorially as

4

\quad f = p \circ i,\quad i\in C,\ p\in F\cap W \qquad\text{and}\qquad f = q \circ j,\quad j\in C\cap W,\ q\in F.

Derivation hint: combining MC4 and MC5, $(C, F\cap W)$ and $(C\cap W, F)$ are two weak factorization systems sharing $W$ . An object $X$ is cofibrant if $\varnothing \rightarrowtail X$ , and fibrant if $X \twoheadrightarrow *$ .

TheoremQuillen: Closure Properties

In any model category, two of the three classes determine the third:

5

\quad C = {}^{\boxslash}(F\cap W),\qquad F = (C\cap W)^{\boxslash},\qquad C\cap W = {}^{\boxslash}F,\qquad F\cap W = C^{\boxslash}.

Derivation hint: by MC4/MC5 the two weak factorization systems satisfy $\mathcal{L} = {}^\boxslash\mathcal{R}$ ; apply this and the retract argument. Consequently the cofibrations, trivial cofibrations, fibrations, and trivial fibrations are each closed under the appropriate (co)limits: cofibrations under pushout and transfinite composition, fibrations under pullback.

TheoremFundamental Theorem of Model Categories

Let $\mathcal{M}$ be a model category. The localization functor $\gamma:\mathcal{M}\to \mathrm{Ho}(\mathcal{M}) := \mathcal{M}[W^{-1}]$ exists with locally small target, and there is a natural isomorphism for cofibrant $X$ and fibrant $Y$ :

6

\quad \mathrm{Ho}(\mathcal{M})(X,Y)\;\cong\; \mathcal{M}(X,Y)/\!\simeq,

where $\simeq$ denotes the homotopy relation (left = right homotopy on such objects). In general, $\mathrm{Ho}(\mathcal{M})(X,Y) \cong [QX, RY]$ where $Q$ is cofibrant replacement and $R$ fibrant replacement. Derivation hint: cofibrant–fibrant replacement makes every object equivalent to a "bifibrant" one; on bifibrant objects the homotopy relation is an equivalence relation and the functor $\gamma$ becomes a quotient map.

ProofThe Homotopy Category via Cylinders and Paths

We outline why [6] holds.

Step 1 — Cylinder and path objects. A cylinder object for $A$ is a factorization of the fold map $A \sqcup A \to A$ as $A\sqcup A \xrightarrow{i_0\sqcup i_1} \mathrm{Cyl}(A) \xrightarrow{\sim} A$ with the left map a cofibration (when it exists). Dually a path object $\mathrm{Path}(B)$ factors the diagonal $B \to B\times B$ as $B \xrightarrow{\sim} \mathrm{Path}(B) \twoheadrightarrow B\times B$ . By MC5 these always exist.

Step 2 — Left and right homotopy. Maps $f,g:A\to B$ are left homotopic ( $f \sim_\ell g$ ) if some cylinder admits $H:\mathrm{Cyl}(A)\to B$ with $H i_0 = f$ , $H i_1 = g$ ; right homotopic via a path object dually.

Step 3 — Coincidence on bifibrant objects. If $A$ is cofibrant, $\sim_\ell$ is an equivalence relation; if $B$ is fibrant, $\sim_\ell \Leftrightarrow \sim_r$ . Hence on cofibrant–fibrant $(A,B)$ there is a single well-defined homotopy relation $\simeq$ , compatible with composition.

Step 4 — Whitehead theorem (abstract). A weak equivalence between bifibrant objects is a homotopy equivalence (admits a homotopy inverse). This is proved by lifting: factor and use MC4 repeatedly.

Step 5 — Localization. Define $\mathrm{Ho}_{cf}(\mathcal{M})$ with bifibrant objects and homotopy classes of maps. Cofibrant–fibrant replacement $RQ$ provides an equivalence $\mathrm{Ho}(\mathcal{M}) \simeq \mathrm{Ho}_{cf}(\mathcal{M})$ , and Step 4 shows $\gamma$ inverts exactly $W$ . Local smallness follows because morphism classes become honest sets of homotopy classes. $\blacksquare$

∎

DQ

Daniel Quillen

1940–2011

Daniel Gray Quillen, Fields Medalist (1978), revolutionized homotopy theory not through a single computation but through axiomatization. His 1967 lecture notes Homotopical Algebra (Springer Lecture Notes 43) introduced model categories to give a common foundation for the homotopy theory of topological spaces and the "homotopy theory" implicit in homological algebra (chain complexes, derived functors). Quillen recognized that Serre fibrations, cofibrations of CW pairs, and quasi-isomorphisms of chain complexes obeyed the same formal lifting and factorization patterns. His later work — higher algebraic K-theory via the $Q$ -construction, rational homotopy theory via differential graded Lie algebras — repeatedly exploited this machinery. The "Quillen adjunction" and "Quillen equivalence" remain the canonical tools for comparing homotopy theories.

🧠 Intuition

Think of fibrations as "nice surjections you can lift paths along" (generalizing Serre fibrations of spaces) and cofibrations as "nice inclusions with extension properties" (generalizing CW-inclusions). Weak equivalences are the maps you secretly want to be isomorphisms — homotopy equivalences, quasi-isomorphisms, weak homotopy equivalences. The factorization axioms say: any map can be bent into a cofibration followed by a (trivial) fibration. Cofibrant replacement is "resolve the source so it's free/projective enough"; fibrant replacement is "fatten the target so it's injective/Kan enough." Once both ends are good, abstract maps in $\mathrm{Ho}$ are just honest maps up to honest homotopy — no zig-zags of formal inverses needed. The two weak factorization systems are interlocking gears: each lifting property compensates for the looseness of the other.

Figure

The two weak factorization systems and the lifting diamond

ExampleThe Standard Model Structure on Topological Spaces

Given: $\mathbf{Top}$ with $W =$ weak homotopy equivalences (maps inducing isomorphisms on all $\pi_n$ ), $F =$ Serre fibrations (RLP against $D^n \times \{0\} \hookrightarrow D^n\times[0,1]$ ), $C =$ maps with LLP against trivial Serre fibrations.

Steps: 1. Generating cofibrations: $I = \{ S^{n-1}\hookrightarrow D^n : n\ge 0\}$ . Generating trivial cofibrations: $J = \{ D^n \hookrightarrow D^n\times[0,1]\}$ . 2. By Quillen's small object argument, $(C, F\cap W)$ and $(C\cap W, F)$ are weak factorization systems cofibrantly generated by $I$ and $J$ . 3. Every object is fibrant ( $X \to *$ is always a Serre fibration). Cofibrant objects are retracts of CW/cell complexes. 4. Compute $\mathrm{Ho}(\mathbf{Top})(S^1, S^1)$ : take cofibrant–fibrant replacement (CW models). Homotopy classes of maps $S^1\to S^1$ are classified by degree.

Boxed answer:

\boxed{\;\mathrm{Ho}(\mathbf{Top})(S^1,S^1)\;\cong\;[S^1,S^1]\;\cong\;\pi_1(S^1)\;\cong\;\mathbb{Z}\;}

(units: an integer winding number; e.g. $z\mapsto z^3$ has degree $3$ ).

ExampleThe Projective Model Structure on Chain Complexes

Given: $\mathrm{Ch}_{\ge 0}(R)$ , non-negatively graded chain complexes of $R$ -modules. Set $W =$ quasi-isomorphisms (isomorphism on all homology $H_n$ ), $F =$ maps surjective in positive degrees, $C =$ degreewise-split monomorphisms with projective cokernel (degreewise).

Steps: 1. Cofibrant objects are complexes of projective modules (bounded below) — i.e. projective resolutions. 2. Fibrant replacement is trivial: every object is fibrant. 3. Derived functor: for a right-exact $F$ , $\mathbb{L}F$ is computed by applying $F$ to a cofibrant (projective) replacement; its homology recovers the classical left derived functors $L_n F$ . 4. Concretely, take $R=\mathbb{Z}$ , $M = \mathbb{Z}/6$ , $F = -\otimes_{\mathbb{Z}}\mathbb{Z}/2$ . Cofibrant replace $\mathbb{Z}/6$ by $[\,\mathbb{Z}\xrightarrow{\times 6}\mathbb{Z}\,]$ . Apply $-\otimes\mathbb{Z}/2$ : get $[\,\mathbb{Z}/2\xrightarrow{\times 6 = 0}\mathbb{Z}/2\,]$ .

Boxed answer:

\boxed{\;L_0 = \mathbb{Z}/6\otimes\mathbb{Z}/2 = \mathbb{Z}/2,\qquad L_1 = \mathrm{Tor}_1^{\mathbb{Z}}(\mathbb{Z}/6,\mathbb{Z}/2)=\ker(\times 0)=\mathbb{Z}/2\;}

(units: $R$ -modules; here both are $\mathbb{Z}/2$ , recovering the classical Tor computation $\gcd(6,2)=2$ ).

⚠️ Common mistake

Fibrations are NOT determined by being "surjective," and cofibrations are NOT "injective." In $\mathbf{Top}$ a Serre fibration need not be surjective onto $\pi_0$ -components, and many monomorphisms are not cofibrations. The classes are defined by lifting properties, never by set-theoretic surjectivity/injectivity. Likewise, "trivial fibration" means fibration AND weak equivalence, not "fibration that is trivial as a bundle." A second common error: assuming the factorization in MC5 is unique — it is not; only existence (and, in modern formulations, functoriality) is asserted. Finally, not every object is both fibrant and cofibrant; computing $\mathrm{Ho}$ -morphisms requires replacing the source by a cofibrant model and the target by a fibrant one — skipping this gives wrong answers.

Counterexample

Quasi-isomorphism is not a homotopy equivalence without cofibrancy. Consider $\mathrm{Ch}(\mathbb{Z})$ and the map $f:[\mathbb{Z}\xrightarrow{\times 2}\mathbb{Z}] \to \mathbb{Z}/2$ (concentrated in degree 0). This $f$ is a quasi-isomorphism (both have homology $\mathbb{Z}/2$ in degree 0). But $\mathbb{Z}/2$ is not cofibrant (it is not a complex of projectives in a way admitting the inverse up to homotopy), and there is no chain homotopy inverse $\mathbb{Z}/2 \to [\mathbb{Z}\xrightarrow{\times2}\mathbb{Z}]$ . The Whitehead theorem (Step 4 of the proof) applies only to bifibrant objects — here the source is cofibrant but the (degreewise) target object fails the needed condition, so $f$ becomes an isomorphism only in $\mathrm{Ho}$ , not on the nose up to homotopy.

connection

Model categories sit at a crossroads. They generalize the Homotopy Theory of Topological Spaces and the Derived Category of an abelian category (the projective/injective model structures on chain complexes). Quillen adjunctions $(L \dashv R)$ between model categories descend to derived adjunctions $(\mathbb{L}L \dashv \mathbb{R}R)$ on homotopy categories; when these are equivalences they are Quillen equivalences, the morphisms in the "2-category of homotopy theories." Every model category presents an $(\infty,1)$ -category via the simplicial/Dwyer–Kan localization or via the underlying quasi-category; conversely, by a theorem of Lurie, every presentable $(\infty,1)$ -category arises from a combinatorial model category. The theory of Simplicial Sets with the Kan–Quillen model structure is the bridge to Higher Category Theory, and Bousfield Localization systematically alters the weak equivalences (e.g. to build stable, motivic, or chromatic homotopy theories). The category of spectra is a stable model category, where the homotopy category is triangulated.

🔬 Where this appears

⏳ History

- 1945 — Eilenberg–Mac Lane / Eilenberg–Steenrod. Axiomatic homology foreshadows the axiomatic approach; categories and functors enter topology.

- 1955–1957 — Serre, Kan. Serre fibrations and the loop/path-space technology; Daniel Kan introduces simplicial sets, Kan complexes, and adjoint functors crucial to later model structures.

- 1967 — Quillen, Homotopical Algebra. Model categories are born (LNM 43). Quillen gives the axioms, the homotopy category construction, and the topological and simplicial examples.

- 1969 — Quillen, rational homotopy theory. First major Quillen equivalence: spaces ⇄ DGLAs, demonstrating the power of comparing model structures.

- 1972–1974 — Quillen, higher algebraic K-theory. The

Q

-construction; Waldhausen later (1985) generalizes to categories with cofibrations and weak equivalences.

- 1980 — Bousfield, localization. Systematic construction of new model structures (and homology localizations), enabling stable and chromatic homotopy theory.

- 1997–1999 — Hovey; Dwyer–Hirschhorn–Kan–Smith; Hirschhorn. Definitive textbook treatments; cofibrantly generated and combinatorial model categories; the small object argument made precise; monoidal and simplicial model categories.

- 2009 — Lurie, Higher Topos Theory. Establishes the equivalence between presentable

\infty

-categories and combinatorial model categories (via localization), recasting model categories as presentations of homotopy theories.

- 2010s — Riehl, Cisinski, et al. Algebraic weak factorization systems, model-independent foundations, and the dictionary between model categories, quasi-categories, and complete Segal spaces.

open-problem

Several foundational and practical tensions persist. (1) The set-theoretic status of functorial factorization: Quillen's original small object argument used a countable colimit and is not strictly functorial; modern transfinite versions (and Garner's algebraic small object argument) repair this, but the precise role of large-cardinal/accessibility hypotheses (combinatorial vs. merely cofibrantly generated, cellularity of the homotopy theory) is delicate. (2) Comparison and rigidification: while every presentable $\infty$ -category is presented by a combinatorial model category, canonical or minimal such presentations are not unique, and recovering strict-algebraic structure (e.g. strictly commutative ring spectra) from $E_\infty$ data is obstructed — the failure measured by topological André–Quillen cohomology. (3) Model categories vs. model-independence: many constructions (homotopy colimits, mapping spaces) are "the same" across all presentations, yet there is no fully developed internal logic of model categories matching the expressive power of $\infty$ -categorical or type-theoretic foundations; the precise relationship to homotopy type theory and the conjectural semantics of higher inductive types in arbitrary model categories (the "initiality" and univalence problems) remains active. (4) Non-combinatorial settings: homotopy theories that are not cofibrantly generated (e.g. some functor categories, or categories of topological spaces with non-CW pathologies) resist the standard machinery.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also