Homotopy type

Summary