同伦提升

同伦提升（lifting homotopy）是1993年公布的数学名词。设p:E→B为拓扑空间范畴的满态射，i0:Y→Y×I定义为i0(y)=(y，0)。若有f:Y→E与h:Y×I→B，满足p∘f=h∘i0，则存在:Y×I→E，满足，，则称p:E→B为同伦提升。