Гомотопы $(-1,1)$-алгебр от двух порождающих

В работе приводится пример алгебры типа $(-1,1)$, имеющей изотоп, который не является $(-1,1)$-алгеброй. Доказывается, что определяющее тождество сохраняют гомотопы двупорожденных $(-1,1)$-алгебр, и более того, многообразие, порожденное свободной $(-1,1)$-алгеброй ранга 2, устойчиво относительно операции взятия гомотопа.
Библиография: 6 названий.