Homeomorphic morphism and homotopy equivalence are two important concepts in the theory of algebraic topology.
Indeed, readers familiar with the fundamentals of algebraic topology can easily prove the correctness of this presentation.