гомотопическое подчинение

Мат. homotopy dependence