S-duality (homotopy theory)