An embedding theorem for proper \(n\)-types (Q1208573)

The authors show how to modify the Edwards-Hastings embedding theorem [\textit{D. A. Edwards} and \textit{H. M. Hastings}, Čech and Steenrod homotopy theories with applications to geometric topology, Lect. Notes Math. 542 (1976; Zbl 0334.55001)] to embed the proper \(n\)-homotopy category (at infinity) into an \(n\)-homotopy procategory in which the ``pro-analogues'' of algebraic models of \(n\)-types can be applied more easily. Then they apply this to questions involving the proper forms of Whitehead's theorems, proper analogues of \({\mathcal J}_ n\)-complex, and others.