Shift and coherent shift in inverse systems

In the definition of the category of inverse systems pro-HTop and the coherent category of inverse systems CPHTop, for the definition of homotopy between two arbitrary maps of systems the notion of shift is needed. This notion is not adequate for the category of coherent inverse systems and in this paper this notion is replaced by the notions of shifting map and coherent shift.