Homotopy with surfaces