homotopy work