homotopy set