Rigidification of algebras over essentially algebraic theories

Abstract

Badzioch and Bergner proved a rigidification theorem saying that each homotopy simplicial algebra is weakly equivalent to a simplicial algebra. The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. We will present some answers to this question.

arXiv commentThe proof of Theorem 3.3 is corrected