亀レスですが　昨日(3/7)の展開読んで
肝心なところがよくわからないので質問

837 >IからLに自然な写像があって
>γ_Iはγ_Lへ移るような連結部分集合ってのが設定
>この仮定だとγ_Iは｛α｝もしくは｛β｝、
>だけどもちろんγ_I= ｛α｝=｛β｝はあり得ない
847 >αとβが等しくないとして
>「IからLに自然な写像があって
　 > γ_Iはγ_Lへ移るような連結部分集合となる」
>は成立しますか？しませんか？
855 >IからLへの自然な写像が与えられてて、
>γ_I=｛α｝かあるいはγ_I=｛β｝と置くだけじゃん
856 >与えてください
858 >Iから†Iへの全単射(†Iの定義から定まる)
>†IからJへの包含写像
>JからLへの商写像
>の合成
861 >‡Iはどうしました？　忘れましたか？
863 >定義には不要なだけ

なぜ†Iだけでいいの？

たとえば858の「†写像」と同様に
　Iから‡Iへの全単射
　‡IからJへの包含写像
　JからLへの商写像
の合成である「‡写像」も考えられるよね

†写像と‡写像って一致する？
一致しないとして、問題ないの？