考虑带基点的拓扑空间范畴,(限定词带基点,指出,指定点都可以),这个范畴中的一个对象是序对 ,分别为拓扑空间和拓扑空间中的一个指定点,称之为基点。箭头就是保持基点映到基点的连续映射。为了避免记号过于庞大,我们将不在显式写出拓扑空间,而仅以其基础集合来表示。给定一个基点空间 ,定义 为这个空间的带有紧开...