Email Record: Homotopy theory