Mini workshop on homotopy theory in geometry