On homotopy varieties

Given an algebraic theory T, a homotopy T-algebra is a simplicial set where all equations from T hold up to homotopy. All homotopy T-algebras form a homotopy variety. We will give a characterization of homotopy varieties analogous to the characterization of varieties.