On the two definitions of Ho(pro C) (Q1104404)

In this note it is shown that the two constructions of a homotopy procategory given by the author [Math. Z. 140, 1-21 (1974; Zbl 0275.55022)] and by \textit{D. A. Edwards} and \textit{H. M. Hastings} [Čech and Steenrod homotopy theories with applications to geometric topology (1976; Zbl 0334.55001)] yield isomorphic categories. This implies that the Edwards-Hastings homotopy procategory and the Lisitsa-Mardešić coherent prohomotopy category [\textit{Yu. T. Lisitsa} and \textit{S. Mardešić}, Glasnik Mat., III. Ser. 19(39), 335-399 (1984; Zbl 0553.55009)] are equivalent.