拓扑空间范畴

拓扑空间范畴

$\mathsf{Top}$

拓扑空间范畴是由拓扑空间和它们之间的连续映射构成的范畴, 记为 $\mathsf{Top}$.

1定义

定义 1.1 (拓扑空间范畴). 拓扑空间范畴 $\mathsf{Top}$ 定义为:

•	对象: 所有拓扑空间.

•	态射: 拓扑空间之间的连续映射.

拓扑空间范畴中的同构称为拓扑空间的同胚.

2性质

(...)