Rigidification of algebras over essentially algebraic~theories (Q2350093): Difference between revisions

\textit{B. Badzioch} proved in [Ann. Math. (2) 155, No. 3, 895--913 (2002; Zbl 1028.18001)] a rigidification theorem for simplicial algebras of one-sorted algebraic theories \(\mathcal{T}\) saying that any homotopy \(\mathcal{T}\)-algebra is weakly equivalent to a strict \(\mathcal{T}\)-algebra. \textit{J. E. Bergner} extended in [Algebr. Geom. Topol. 6, 1925--1955 (2006; Zbl 1125.18003)] this rigidification theorem to many-sorted algebraic theories. The author's aim is to generalize these rigidification theorems to an arbitrary finitely combinatorial monoidal model category \(\mathcal{V}\) in place of simplicial sets and to a finite weighted limit theory (i.e. an essentially algebraic theory) \(\mathcal{T}\) in place of an algebraic theory. Additional properties are required on \(\mathcal{V}\) to get rigidification theorems. For example, the result is established if \(\mathcal{V}\) is left proper finitely tractable monoidal and if it satisfies the monoid axiom and if it is equipped with a fibrant approximation \(\mathcal{V}\)-functor preserving finite weighted limits. In this case, if \(\mathcal{T}\) is a locally cofibrant finite weighted homotopy limit theory, the model category of strict models obtained as a subcategory of the functor category \([\mathcal{T},\mathcal{V}]\) is Quillen equivalent to the model category of homotopy models constructed as a enriched Bousfield localization of \([\mathcal{T},\mathcal{V}]\) (with \([\mathcal{T},\mathcal{V}]\) in both cases equipped with the projective model structure).