updates to homotopy.tex