Every topologically complete space embeds as a deformation retract in a topologically complete space which is the limit of a polyhedral inverse system with surjective and simplicial (fixed triangulations) bonding mappings. Moreover, the corresponding homotopy category and its full subcategory are equivalent. The same also holds for several subclasses of the class of all topologically complete spaces: paracompact spaces, Lindelöf spaces, countably compact spaces, strongly paracompact spaces, paracompact (σ-compact) locally compact spaces, compact Hausdorff spaces
