< [[homotopy equivalence]]