Minimality in diagrams of simplicial sets (Q2280129)

Denote by \(\mathbf{S}\) the category of simplicial sets. Given a small category \(\mathcal{C}\), the main goal of this paper is to extend Barratt-Gugenheim-Moore's framework [\textit{M. Barratt} et al., Am. J. Math. 81, 639--657 (1959; Zbl 0127.39002)]) to the category \(\mathbf{S}^\mathcal{C}\) of \(\mathcal{C}\)-diagrams of simplicial sets assuming that the fibrations involved are defined over a constant base. The first observation is that the category of diagrams possesses a structure of cofibrantly generated model category and inherits a simplicial structure from \(\mathbf{S}\) [\textit{P. S. Hirschhorn}, Model categories and their localizations. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1017.55001)]. The authors formulate the concept of minimal fibration in the context of fibrations in the model category \(\mathbf{S}^\mathcal{C}\). When \(\mathcal{C}\) is an \(EI\)-category satisfying some mild finiteness restrictions, it is shown that every fibration of \(\mathcal{C}\)-diagrams admits a well-behaved minimal model. As a consequence, a classification theorem for fibrations in \(\mathbf{S}^\mathcal{C}\) over a constant diagram is established.