On homotopy varieties (Q2381845)

An algebraic theory is a small category \({\mathcal T}\) with finite products. Given a category \({\mathcal K}\) with finite products, a \({\mathcal T}\)-algebra in \({\mathcal K}\) is a finite product preserving functor \({\mathcal T} \rightarrow {\mathcal K}\). A variety is a category equivalent to some category of \({\mathcal T}\)-algebras. It is very known that every variety is locally presentable and there exist several characterizations of varieties, in particular in terms of sifted colimits [\textit{J. Adámek, J. Rosický}, Theory Appl. Categ. 8, 33--53, electronic only (2001; Zbl 0971.18004)]. The author presents similar results relating the notions of homotopy \({\mathcal T}\)-algebra, homotopy variety and homotopy locally presentable category. Homotopy \({\mathcal T}\)-algebras are defined as functors from \({\mathcal T}\) to the category of simplicial sets preserving finite products up to weak equivalence of simplicial sets. In fact, it is natural to consider small simplicial categories with finite products \({\mathcal T}\) and a homotopy \({\mathcal T}\)-algebra is then a simplicial functor from \({\mathcal T}\) to the category of simplicial sets preserving finite products up to weak equivalence of simplicial sets. The category of homotopy \({\mathcal T}\)-algebras cannot be equipped with a structure of model category since it is neither complete nor cocomplete. But there does exist a structure of model category on the category of simplicial functors from \({\mathcal T}\) to the category of simplicial sets such that the fibrant objects are the homotopy \({\mathcal T}\)-algebras: this model category is called the model category for homotopy \({\mathcal T}\)-algebras. It is also proved by the author that a simplicial model category is Quillen equivalent to the model category for homotopy \({\mathcal T}\)-algebras if and only if the full simplicial subcategory of cofibrant-fibrant objects is a homotopy variety.