гомотопически обратный

Топ. homotopy inverse