Given an algebraic theory, a homotopy algebra is a simplicial set where all equations hold up to homotopy. Homotopy algebras form a homotopy variety. There is given a characterization of homotopy variety analogous to that of varieties.
Given an algebraic theory, a homotopy algebra is a simplicial set where all equations hold up to homotopy. Homotopy algebras form a homotopy variety. There is given a characterization of homotopy variety analogous to that of varieties. (en)