Verb
(topology, transitive) To define or demonstrate a homotopy of (one map with another).
(topology, transitive) More loosely, to exhibit a homotopy equivalence between two spaces.