nLab
cofibrantly generated model category

Idea

A model category $C$ is cofibrantly generated if there is a set (meaning: small set, not a proper class) of cofibrations and one of trivial cofibrations, such that all other (trivial) cofibrations are generated from these.

Definition

We need the following general terminology

Definition (cells and injectives)

Let $C$ be a category with all colimits and let $S\subset \mathrm{Mor}(C)$ a class of morphisms. We write

• $\mathrm{rlp}(S)$ for the collection of morphisms with the right lifting property with respect to $S$;

• $\mathrm{llp}(S)$ for the collection of morphisms with the left lifting property with respect to $S$.

Moreover, we also write, now for $I\subset \mathrm{Mor}(C)$:

• $\mathrm{cell}(I)$ for the class of morphisms obtained by transfinite composition of pushouts of elements in $I$;

• $\mathrm{cof}(I)$ for the class of retracts (in the arrow category $\mathrm{Arr}(C)$) of elements in $\mathrm{cell}(I)$

• $\mathrm{inj}(I):=\mathrm{rlp}(I)$ for the class of morphisms with the right lifting property with respect to $I$.

Definition (cofibrantly generated model category)

A model category with all colimits is cofibrantly generated if there is a small set $I$ and a small set $J$ such that

• $\mathrm{cof}(I)$ is precisely the collection cofibrations of $C$;

• $\mathrm{cof}(J)$ is precisely the collection of acyclic cofibrations in $C$; and

• $I$ and $J$ permit the small object argument.

Since $I$ and $J$ are assumed to admit the small object argument the collection of cofibrations and acyclic cofibrations has the following simpler characterization:

Proposition

In a cofibrantly generated model category we have

• $\mathrm{cof}(I)=\mathrm{llp}(\mathrm{rlp}(I))$

• $\mathrm{cof}(J)=\mathrm{llp}(\mathrm{rlp}(J))$.

And therefore the fibrations are precisely $\mathrm{rlp}(J)$ and the acyclic fibrations precisely $\mathrm{rlp}(I)$.

Proof

The argument is the same for $I$ and $J$. So take $I$.

By definition we have $I\subset \mathrm{llp}(\mathrm{rlp}(I))$ and it is checked that collections of morphisms given by a left lifting property are stable under pushouts, transfinite composition and pushouts. So $\mathrm{cof}(I)\subset \mathrm{llp}(\mathrm{rlp}(I))$.

For the converse inclusion we use the small object argument: let $f:X\to Z$ be in $\mathrm{llp}(\mathrm{rlp}(I))$. The small object argument produces a factorization $f:X\stackrel{f\prime \in \mathrm{cof}(I)}{\to }Y\stackrel{f″\in \mathrm{rlp}(I)}{\to }Z$.

It follows that $f$ has the left lifting property with respect to $f″$ which yields a morphism $\sigma$ in

$$\begin{array}{ccc}X& \stackrel{f\prime }{\to }& Y\\ {\downarrow }^f& {}^{\sigma }\nearrow & {\downarrow }^{f″}\\ X& \stackrel{=}{\to }& X\end{array}$$\array{ X &\stackrel{f'}{\to}& Y \\ \downarrow^{\mathrlap{f}} &{}^\sigma\nearrow& \downarrow^{\mathrlap{f''}} \\ X &\stackrel{=}{\to}& X }

which exhibits $f$ as a retract of $f\prime$

$$\begin{array}{ccccc}X& \stackrel{=}{\to }& X& \stackrel{=}{\to }& X\\ {\downarrow }^f& & {\downarrow }^{f″}& & {\downarrow }^f\\ Z& \stackrel{\sigma }{\to }& Y& \stackrel{f″}{\to }& Z\end{array}.$$\array{ X &\stackrel{=}{\to}& X &\stackrel{=}{\to}& X \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{f''}} && \downarrow^{\mathrlap{f}} \\ Z &\stackrel{\sigma}{\to}& Y &\stackrel{f''}{\to}& Z } \,.

Therefore $f\in \mathrm{cof}(I)$.

Properties

The following theorem allows to recognize cofibrantly generated model categories by checking fewer conditions.

Theorem (recognition theorem for cofibrantly generated model categories)

Let $C$ be a category with all small limits and colimits and $W$ a class of maps satisfying 2-out-of-3 and closed under retracts (in the arrow category).

If $I$ and $J$ are sets of maps in $C$ such that

1. both $I$ and $J$ permit the small object argument;

2. $\mathrm{cof}(J)\subset \mathrm{cof}(I)\cap W$;

3. $\mathrm{inj}(I)\subset \mathrm{inj}(J)\cap W$;

4. one of the following holds

   1. $\mathrm{cof}(I)\cap W\subset \mathrm{cof}(J)$

   2. $\mathrm{inj}(J)\cap W\subset \mathrm{inj}(I)$

then there is the stucture of a cofibrantly generated model category on $C$ with

• weak equivalences $W_C:=W$

• generating cofibrations $I$ (i.e. ${\mathrm{cof}}_C:=\mathrm{llp}(\mathrm{rlp}(I))$)

• generating acyclic cofibrations $J$.

Proof

This is originally due to Dan Kan, reproduced for instance as theorem 11.3.1 in ModLoc .

We have to show that with weak equivalences $W$ setting ${\mathrm{cof}}_C:=\mathrm{cof}(I)$ and ${\mathrm{fib}}_C:=\mathrm{inj}(J)$ defines a model category structure.

The existence of limits, colimits and the 2-out-of-3 property holds by assumption, as does closure under retracts of $W$.

Closure under retracts of $\mathrm{fib}$ and $\mathrm{cof}$ follows by the general statement that classes of morphisms defined by a left or right lifting property are closed under retracts (e.g. 7.2.8 in ModLoc ).

The factorization property follows by applying the small object argument to the set $I$, showing that every morphism may be factored as

$$\stackrel{\in \mathrm{cof}(I)}{\to }\stackrel{\in \mathrm{inj}(I)\subset {\mathrm{fib}}_C}{\to }$$\stackrel{\in cof(I)}{\to} \stackrel{\in inj(I) \subset fib_C}{\to}

and assumption 3 says that $\mathrm{inj}(I)\subset W$. Similarly applying the small object argument to $J$ gives factorizations

$$\stackrel{\in \mathrm{cof}(J)}{\to }\stackrel{\in \mathrm{inj}(J)={\mathrm{fib}}_C}{\to }$$\stackrel{\in cof(J)}{\to} \stackrel{\in inj(J) = fib_C}{\to}

and assumption 2 guarantees that $\mathrm{cof}(J)\subset W$.

It remains to verify the lifting axiom. This verification depends on which of the two parts of item 4 is satisfied. Assume the first one is, the argument for the second one is analogous.

Then using the assumption $\mathrm{cof}(I)\cap W\subset \mathrm{cof}(J)$ and remembering that we have set $\mathrm{inj}(J)={\mathrm{fib}}_C$ we immediately have the lifting of trivial cofibrations on the left against fibrations on the right.

To get the lifting of cofibrations on the left with acyclic fibrations on the right, we show finally that $\mathrm{inj}(J)\cap W\subset \mathrm{inj}(I)$. To see this, apply the factorization established before to an acyclic fibration $f:X\to Y$ to get

$$\begin{array}{ccc}X& \stackrel{=}{\to }& X\\ {\downarrow }^{\in \mathrm{cof}(I)\cap W}& & {\downarrow }^{f\in \mathrm{inj}(J)\cap W}\\ Z& \stackrel{\mathrm{inj}(I)}{\to }& Y\end{array}.$$\array{ X &\stackrel{=}{\to}& X \\ \downarrow^{\mathrlap{\in cof(I) \cap W}} && \downarrow^{\mathrlap{f \in inj(J) \cap W}} \\ Z &\stackrel{inj(I)}{\to}& Y } \,.

With assumption 4 a this is

$$\begin{array}{ccc}X& \stackrel{=}{\to }& X\\ {\downarrow }^{\in \mathrm{cof}(J)}& & {\downarrow }^{f\in \mathrm{inj}(J)\cap W}\\ Z& \stackrel{\mathrm{inj}(I)}{\to }& Y\end{array}$$\array{ X &\stackrel{=}{\to}& X \\ \downarrow^{\mathrlap{\in cof(J) }} && \downarrow^{\mathrlap{f \in inj(J) \cap W}} \\ Z &\stackrel{inj(I)}{\to}& Y }

so that we have a lift

$$\begin{array}{ccc}X& \stackrel{=}{\to }& X\\ {}^{\in \mathrm{cof}(J)}\downarrow & {}^{\sigma }\nearrow & {\downarrow }^{f\in \mathrm{inj}(J)\cap W}\\ Z& \stackrel{\mathrm{inj}(I)}{\to }& Y\end{array}$$\array{ X &\stackrel{=}{\to}& X \\ {}^{\mathllap{\in cof(J) }} \downarrow &{}^\sigma\nearrow& \downarrow^{\mathrlap{f \in inj(J) \cap W}} \\ Z &\stackrel{inj(I)}{\to}& Y }

which establishes a retract

$$\begin{array}{ccccc}X& \to & Z& \stackrel{\sigma }{\to }& X\\ {\downarrow }^f& & {\downarrow }^{\in W}& & {\downarrow }^f\\ Y& \stackrel{=}{\to }& Y& \stackrel{=}{\to }& Y\end{array}$$\array{ X &\to& Z &\stackrel{\sigma}{\to}& X \\ \downarrow^f && \downarrow^{\mathrlap{\in W}} && \downarrow^f \\ Y &\stackrel{=}{\to}& Y & \stackrel{=}{\to} & Y }

that exhibits $f$ as a weak equivalence.

Examples

…

Related concepts

• A cofibrantly generated model category that is also a locally presentable category is called a combinatorial model category.

• A cofibrantly generated model category for which the doamins of the morphisms in $I$ and $J$ are compact objects or small objects is a cellular model category.

References

A standard textbook reference is section 11 of

• ModLoc, Hirschhorn, Model categories and their localization .

For the general case a useful reference is for instance the first section of

• Tibor Beke, Sheafifiable homotopy model categories (arXiv)

For the case of a presentable category a useful reference is HTT section A.1.2.