The Hammock localization preserves homotopies (Q5963049)

The idea of obtaining a simplicial category from a model category \(\mathcal{C}\) goes back to several papers by \textit{W. G. Dwyer} and \textit{D. M. Kan} [J. Pure Appl. Algebra 18, 17--35 (1980; Zbl 0485.18013); Topology 19, 427-440 (1980; Zbl 0438.55011); J. Pure Appl. Algebra 17, 267-284 (1980; Zbl 0485.18012)]. One method of doing so is the hammock localization \(\mathcal{L}^H\mathcal{C}.\) It should be noted that this construction can be made for more general categories with weak equivalences. In the paper under review the author proves that \(\mathcal{L}^H\mathcal{C}(-,-)\) sends left or right homotopies to simplicial homotopies. This fact is applied to study homotopy idempotent functors. Indeed, assuming a certain large cardinal axiom, called Vopěnka's principle, and given any coaugmented homotopy idempotent functor \(L\) (resp. any augmented homotopy idempotent functor \(C\)) in a cofibrantly generated model category, it is proved that there exists a set of morphisms \(S\) (resp. a set of objects \(D\)) such that the class of \(S\)-local objects (resp. \(D\)-cellular equivalences) coincides with the class of \(L\)-local objects (resp. \(C\)-cellular equivalences). The author also establishes a new proof of the fact that, under Vopěnka's principle, the left Bousfield localization with respect to any class of objects always exists in any left proper combinatorial model category. This proof allows the author to state the existence of the right Bousfield localization with respect to any class of objects in any right proper combinatorial model category.