2017-10-16 連結と単連結 HoTTの話。 や はもちろん連結。 は連結ではない (2点集合)。 は単連結で、 は単連結でない。 ごちゃごちゃしてるけど次元で整理すると単純。 は-連結で-連結でない は-連結で-連結でない は-連結で-連結でない