同伦扩张

同伦扩张（homotopy extension）是1993年公布的数学名词，出自《数学名词》第一版。设i:A→X为拓扑空间范畴的连续映射，i0:A→AI定义为i0(x)=(x，0)。若有f:X→Y与h:AI→Y，满足hi0=fi，则存在:XI→Y，满足，，则称i:A→X为同伦扩张。