在数学里，特别是同伦论中，一个连续映射这里 "A" 和 "X" 是拓扑空间，是一个上纤维化（）如果它关于所有空间 "Y" 满足同伦延拓性质。因其对偶条件定义了纤维化，故有此名。上纤维化更一般的概念参见模型范畴一文。的一个收缩，因为这就是推出从而在图表中可诱导到每个空间的映射。