A map that has an inverse up to homotopy.