同时，在拓扑范畴中，我们讨论连续映射。定义为：f: (X,T1) ------> (Y,T2) （T1,T2是上述定义的拓扑）是连续的当且仅当开集的原像是开集。两个拓扑空间同胚当且仅当存在一一对应的互逆的连续映射。同时，映射同伦和空间同伦等价也是很有用的定义。<ref>[https://zhuanlan.zhihu.com/p/407973551?utm_id=0 仿紧空间与单位分解]知乎</ref>

==参考文献==