摘要
In Ref. [1], the equivalence of morphisms has been defined in the category HPM of homotopy pairs. We call the equivalence a homotopy between morphisms in HPM. Throughout we will work at the category T<sub>op</sub><sup>w</sup> of well-pointed topological spaces. And suppose all base points are dosed subsets. Let Ⅰ<sup>+</sup>=Ⅰ<sup>+</sup> {*}, Ⅸ=Ⅹ ∧ Ⅰ<sup>+</sup>, If=f∧1<sub>I</sub>+, j<sub>εX</sub>:
<正> In Ref. [1], the equivalence of morphisms has been defined in the category HPM of homotopy pairs. We call the equivalence a homotopy between morphisms in HPM. Throughout we will work at the category Topwof well-pointed topological spaces. And suppose all base points are dosed subsets. Let Ⅰ+=Ⅰ+{*}, Ⅸ=Ⅹ ∧ Ⅰ+, If=f∧1I+, jεX:
基金
Project supported by the National Natural Science Foundation of China
