гомотопически коммутативный

Мат. homotopy commutative