ula_157。一个拓扑空间是序列的，若且唯若该空间是个度量空间的商空间。
度量空间的推广.
度量空间作为丰富范畴.有序集 formula_159 可透过令 formula_160 时恰有一态射formula_161，否则没有态射，将之视为一个范畴。使用 + 作为张量积，0 作为单位元，该集合可变成一个么半范畴 formula_162。每个度量空间 (M, d) 均可被视为 formula_162 上的丰富范畴 formula_164。其步骤