SMS dit: Geometric applications of homotopy theory