Category:Homotopy-invariant properties of topological spaces