Rigidification of algebras over multi-sorted theories

DOI10.2140/AGT.2006.6.1925MaRDI QIDQ863085zbMATH OpenOpenAlexFDO

Authors Julie Bergner

Publication date 25 January 2007

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0508152

zbMATH Keywords

operadsmodel categoriesalgebraic theoriessimplicial categories

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Localization of categories, calculus of fractions (18E35) Loop space machines and operads in algebraic topology (55P48)

Abstract: We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a Quillen equivalence between a model category structure on the category of strict algebras over a multi-sorted theory and an appropriate model category structure on the category of functors from a multi-sorted theory to the category of simplicial sets. In the latter model structure, the fibrant objects are homotopy algebras over that theory. Our two main examples of strict algebras are operads in the category of simplicial sets and simplicial categories with a given set of objects.

Recommendations

• Rigidification of algebras over essentially algebraic~theories
• Rigidification of higher categorical structures
• Rigidification of homotopy algebras over finite product sketches
• On Morita weak equivalences of simplicial algebraic theories and operads
• Rigidification of quasi-categories

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 937397 (Why is no real title available?)
• Algebra objects and algebra families for finite limit theories
• Algebraic theories in homotopy theory
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Homotopical algebra
• Homotopy invariant algebraic structures on topological spaces
• On homotopy varieties
• Simplicial homotopy theory
• Simplicial monoids and Segal categories.
• Stable homotopy of algebraic theories
• Three models for the homotopy theory of homotopy theories

Cited in

(15)

• Moduli of spaces with prescribed homotopy groups
• Profinite completion of operads and the Grothendieck-Teichmüller group
• Quillen-Segal algebras and stable homotopy theory
• A colimit decomposition for homotopy algebras in Cat
• Rigidification of algebras over essentially algebraic~theories
• Rigidification of homotopy algebras over finite product sketches
• Higher cyclic operads
• Morita equivalence of many-sorted algebraic theories
• Group actions on Segal operads
• On homotopy varieties
• Comparison of models for ( , n)-categories. I
• Derived character maps of group representations
• Synthetic spectra and the cellular motivic category
• On Morita weak equivalences of simplicial algebraic theories and operads
• Comparing localizations across adjunctions

This page was built for publication: Rigidification of algebras over multi-sorted theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q863085)