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

algebraic theoriesmodel categoriesoperadssimplicial 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

• 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
• 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?)
• 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

(18)

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

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)