< [[homotopy equivalence]] category:redirected to nlab