polish homotopy intro