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

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic theories in homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On left and right model categories and left and right Bousfield localizations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rigidification of algebras over multi-sorted theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5449747 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A colimit decomposition for homotopy algebras in Cat / rank
 
Normal rank
Property / cites work
 
Property / cites work: Enriched functors and stable homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simplicial homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4790109 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The minimal resolution of the ideal of a general arrangement of a big number of points in \(\mathbb{P}^ n\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4783274 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3324132 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3934579 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5711517 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homotopy locally presentable enriched categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher Topos Theory (AM-170) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a fat small object argument / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4704209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On combinatorial model categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable homotopical algebra and Γ-spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pushouts of Categories, Derived Limits, and Colimits / rank
 
Normal rank

Revision as of 05:50, 10 July 2024

scientific article
Language Label Description Also known as
English
Rigidification of algebras over essentially algebraic~theories
scientific article

    Statements

    Rigidification of algebras over essentially algebraic~theories (English)
    0 references
    0 references
    18 June 2015
    0 references
    \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).
    0 references
    homotopy limit theory
    0 references
    homotopy model
    0 references
    rigidification
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references