Stav dette: Geometric applications of homotopy theory