位相空間 → 道とホモトピー → 基本群 → 被覆写像 → 持ち上げ → 被覆空間の分類
入口
位相空間
目標
被覆空間の分類
進捗
ルート設計中
連続変形を扱う空間を用意する
道を連続変形で同一視する
ループの合成から空間の穴を読む
空間を局所的に同じ形で重ねる
道やループを被覆空間へ移す
被覆空間を基本群の部分群で分類する