纤维化

如果 是一个 纤维丛，其中 是一个 仿紧 拓扑空间，那么 满足相对于所有 拓扑空间的 同伦 提升性质。换句话说，如果 是从 到 的一个 同伦，并且如果 是 映射 相对于 的一个 提升，那么 有一个相对于 到一个 映射 的 提升。因此，如果你有一个进入 的 映射的 同伦，并且如果它的开始部分有一个 提升，那么该 提升 可以扩展到 同伦 本身的一个 提升。

纤维化是 拓扑空间 之间的 映射，它满足 同伦 提升性质。