今, 岩波の位相幾何学 I を部分的に復習していますが, p.8 の例題 1.8 が自明ではありません. 同相 : X_1＊ ・・・＊X_n → (X_1＊・・・＊X_i)＊(X_{i+1}＊・・・＊X_n) が存在するとありますが, 証明を与えてみると, k-space の圏でしかうまくいきません. …