Extending local homotopy equivalences (Q789780)

The purpose of this paper is to give an elementary proof of the result of tom Dieck that a local homotopy equivalence f: \(X\to Y\) in a strong enough sense is a global homotopy equivalence [\textit{T. tom Dieck}, Compos. Math. 23, 159-167 (1971; Zbl 0212.558)]. Apart from technical details the present proof is the same as the one in tom Dieck's paper: The author gives a direct description of the homotopy colimit of a covering, he shows that the homotopy colimits of the coverings of X and Y are homotopy equivalent under the assumptions (here is the essential short-cut to tom Dieck's proof: the author describes the n-th filtration of the homotopy colimit as a partial mapping cylinder with range the (n- 1)-th filtration, which allows a quick proof of this step), finally he uses Segal's result that the homotopy colimits of the coverings of X and Y are homotopy equivalent to X and Y.