Equipping weak equivalences with algebraic structure (Q2305674)

In the paper under review the author analyzes the extent to which the weak equivalences in a (cofibrantly generated) model category can be made algebraic. The key point is to consider injectivity in arrow categories. In this sense the author first provides several examples of model categories where the weak equivalences can be described as injectives in the arrow category. Then, in such examples it is found a certain monad \(T\) on the arrow category such that a morphism is a \(T\)-algebra if and only if it is a weak equivalence. Within the setting of a combinatorial model category the author proves that the class of weak equivalences can be made algebraic if and only if it is stable under infinite products. Using a certain generalization of injectivity and monads, namely cone injectivity and multimonads, it is also given a description of the algebraic structure endured by weak equivalences in a combinatorial model category. Finally, the author proves that the category of algebraically fibrant objects in a combinatorial model category admits a transferred model structure equivalent to the original one. Some interesting consequences are also given.