Rigidification of algebras over multi-sorted theories

DOI10.2140/AGT.2006.6.1925zbMATH Open1125.18003arXivmath/0508152OpenAlexW2062286811MaRDI QIDQ863085FDOQ863085

Julie Bergner

Publication date: 25 January 2007

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopical algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Simplicial homotopy theory
• Homotopy invariant algebraic structures on topological spaces
• Stable homotopy of algebraic theories
• Algebraic theories in homotopy theory
• Title not available (Why is that?)
• Three models for the homotopy theory of homotopy theories
• On homotopy varieties
• Algebra objects and algebra families for finite limit theories

Cited In (15)

• Profinite completion of operads and the Grothendieck-Teichmüller group
• 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
• Quillen-Segal algebras and Stable homotopy theory
• Comparison of models for \((\infty , 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
• Moduli of spaces with prescribed homotopy groups

   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 👍 👎

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)