Rigidification of algebras over multi-sorted theories

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.

This is the version published by Algebraic & Geometric Topology on 14 November 2006

Cited by in corpus (18)

• Derived Algebraic Geometry V: Structured Spaces
• Pseudo Algebras and Pseudo Double Categories
• Stable Infinity Categories
• (Infinity,2)-Categories and the Goodwillie Calculus I
• Comparison of models for $(\infty ,n)$-categories, I
• Localization of algebras over coloured operads
• The Homotopy Theory of Simplicially Enriched Multicategories
• Derived Algebraic Geometry VI: E_k Algebras
• Higher cyclic operads
• Group actions on Segal operads
• Correction to "Simplicial monoids and Segal categories"
• Stable power operations
• Rigidification of Homotopy Algebras over Finite Product Sketches
• Automorphisms of the little disks operad with torsion coefficients
• $E_n$ ring spectra and Dyer-Lashof operations
• Workshop on the homotopy theory of homotopy theories
• A sketch for derivators
• Derived Character Maps of Groups Representations