Let $\mathbf{D}$ be a small category, $\mathbf{Set}$ the category of sets and $\mathbf{sSet}$ the category of simplicial sets with its usual model structure. The category of functors $\mathbf{D}\to \mathbf{sSet}$ (diagrams of shape $\mathbf{D}$) has a model structure (called the projective model structure) in which the weak equivalences and fibrations are the object-wise such and the cofibrations are determined by the left lifting property with respect to the trivial fibrations. We call the the cofibrant objects in this model structure "projectively cofibrant diagrams/functors". This is used for example to calculate homotopy colimits.

My question is about a sufficient condition for a diagram to be projectively cofibrant. There are some results about it on nLab and also in Dugger's paper, specifically in the beginning of section 9, where he defines "free degeneracies". The formulation is a bit more involved than what I would expect so perhaps I am missing something. To be specific, I would like to know if the following is true:

A functor $X:\mathbf{D}\to \mathbf{sSet}$ is projectively cofibrant if for every $n\in\mathbb{N}$, the non-degenerate simplices form a subfunctor of $X_n:\mathbf{D}\to\mathbf{Set}$ and this subfunctor is a coproduct of representables.

Namely, the condition is that the maps in the diagram take non-degenerate simplices to non-degenerate simplices and at every level they form a disjoint union of "free orbits". This differs from Dugger's definition, since he seems to require the existence of subfunctors $N_n\subseteq X_n$ with some properties and he does not say that these are precisely the non-degenrate simplices (are they?). Anyways, any clarification of those matters would be appreciated.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.