Skip to main content
1 of 3
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

When are "diagrams of cofibrations" projectively cofibrant?

Let $P$ be a small category, and let $F:P\to M$ be a diagram in a left-proper combinatorial model category $M$. We say that $F$ is a diagram of cofibrations if for every object $p\in P$, $F(p)$ is cofibrant, and for any $f:p\to p'$ in $\mathrm{Arr}(P)$, $F(f)$ is a cofibration.

Recall that a diagram $F: P\to M$ is called projectively cofibrant if the map $\emptyset \to F$ in $M^P$ has the left lifting property with respect to the class of morphisms that are objectwise trivial fibrations.

An easy example of when this holds is a pushout diagram. Such a diagram is projectively cofibrant if and only if it is a diagram of cofibrations. Another example of such a diagram is the diagram for transfinite composition.

Are there any known rules of thumb for when we can say that a diagram of cofibrations is projectively cofibrant?

If no general result exists, I'm specifically interested in the case where $M$ is the category of simplicial sets and $P$ is a poset.

Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215