Enriched diagrams of topological spaces over locally contractible enriched categories (Q2296053)

It is proved that if \(\mathcal P\) is a topologically enriched small category such that all spaces of maps \(\mathcal{P}(\ell, \ell')\) are contractible, then the category of topologically enriched diagrams of topological spaces over \(\mathcal{P}\) is Quillen equivalent to the Quillen model structure of topological spaces. A geometric interpretation of this fact for directed homotopy is given. A topological space is called \(\Delta\)-generated if it is the colimit of simplices. The category \(\mathrm{Top}\) of \(\Delta\)-generated topological spaces and continuous maps is a full coreflective subcategory of the category of general topological spaces. The category \(\mathrm{Top}\) can be equipped with the Quillen model structure denoted by \(\mathrm{Top}_Q\) in which the weak equivalences are the weak homotopy equivalences [\textit{M. Hovey}, Model categories. Providence, RI: American Mathematical Society (1999; Zbl 0909.55001), Section 2.4]. Let \(\mathcal{P}\) be a small category enriched in \(\mathrm{Top}\) in the sense of [\textit{F. Borceux}, Handbook of categorical algebra. 2. Categories and structures. Cambridge: Cambridge University Press (1994; Zbl 1143.18002), Ch. 6]. Denote by \([\mathcal{P}, \mathrm{Top}]_0\) the category of enriched functors \(\mathcal{P}\to \mathrm{Top}\) and natural transformations. Let \(\mathrm{D}^n\) be an \(n\)-dimensional ball of radius \(1\) and \(\mathrm{S}^{n-1}\) be its boundary sphere. Let \(\mathrm{D}^0=\{0\}\) and \(\mathrm{S}^{-1}=\emptyset\). For a topological set \(X\) and an object \(\ell\) of \(\mathcal{P}\), denote \(\mathbb{F}^{\mathcal{P}}_{\ell}X= \mathcal{P}(\ell,-)\times X\in [\mathcal{P}, \mathrm{Top}]_0\). Theorem 6.2. The category \([\mathcal{P}, \mathrm{Top}]_0\) can be endowed with a structure of a combinatorial model category as follows: \begin{itemize} \item[\(\bullet\)] The set of generating cofibrations is the set of maps \[ \{\mathbb{F}^{\mathcal{P}}_{\ell}\mathrm{S}^{n-1}\to \mathbb{F}^{\mathcal{P}}_{\ell}\mathrm{D}^{n} \mid n\geqslant 0, \ell\in Obj(\mathcal{P}) \} \] induced by the inclusions \(\mathrm{S}^{n-1}\subset \mathrm{D}^n\). \item[\(\bullet\)] The set of generating trivial cofibrations is the set of maps \[ \{\mathbb{F}^{\mathcal{P}}_{\ell}\mathrm{D}^{n}\to \mathbb{F}^{\mathcal{P}}_{\ell}\mathrm{D}^{n+1} \mid n\geqslant 0, \ell\in Obj(\mathcal{P}) \} \] where the maps \(\mathrm{D}^n\subset \mathrm{D}^{n+1}\) are induced by the mappings \[(x_1, \ldots, x_n)\mapsto (x_1, \ldots, x_n, 0).\] \item[\(\bullet\)] A map \(F\to G\) is a weak equivalence if and only if for all \(\ell\in Obj(\mathcal{P})\), the continuous map \(F(\ell)\to G(\ell)\) is a weak equivalence of \(\mathrm{Top}_Q\), i.e. the weak equivalences are the pointwise weak homotopy equivalences. \item[\(\bullet\)] A map \(F\to G\) is a fibration if and only if for all \(\ell\in Obj(\mathcal{P})\), the continuous map \(F(\ell)\to G(\ell)\) is a fibration of \(\mathrm{Top}_Q\), i.e. the fibrations are the pointwise Serre fibrations. \end{itemize} This model structure, denoted by \([\mathcal{P}, \mathrm{Top}_Q]^{proj}_0\), is called the projective model structure. Theorem 7.6 (main). Suppose that all spaces \(\mathcal{P}(\ell, \ell')\) are contractible. Then the Quillen adjunction \(\varinjlim \dashv \Delta_{\mathcal{P}}\) between the functors of colimit \(\varinjlim: [\mathcal{P}, \mathrm{Top}_Q]^{proj}_0\to \mathrm{Top}_Q\) and diagonal \(\Delta_{\mathcal{P}}: \mathrm{Top}_Q \to [\mathcal{P}, \mathrm{Top}_Q]^{proj}_0\) is a Quillen equivalence. Concluding remarks contain comments about the monoid of nondecreasing continuous maps from \([0; 1]\) to itself preserving the extremities and another one mentioning Shulman's work [\textit{M. Shulman}, ``Homotopy limits and colimits and enriched homotopy theory'', Preprint, \url{arXiv:math/0610194}] about enriched homotopical categories.