Homotopy equivalence


homotopy equivalence is a function.