minor changes to homotopy.tex, all I have for now.