Email Record: Homotopy theory /