On homotopy varieties
Abstract
Description
Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties analogous to the characterization of varieties. We will also study homotopy models of limit theories which leads to homotopy locally presentable categories. These were recently considered by Simpson, Lurie, Toën and Vezzosi.
Proposition 4.5 is not valid; see Remark 4.5(e) in the new version. All other results are correct but there are gaps in proofs. They are fixed by reducing simplicial categories to fibrant ones and replacing homotopy colimits by fibrant ones, as well
Proposition 4.5 is not valid; see Remark 4.5(e) in the new version. All other results are correct but there are gaps in proofs. They are fixed by reducing simplicial categories to fibrant ones and replacing homotopy colimits by fibrant ones, as well