UWO/Fields homotopy theory program