被覆空間と基本群の対応

連続変形を扱う空間を用意する

道を連続変形で同一視する

ループの合成から空間の穴を読む

空間を局所的に同じ形で重ねる

道やループを被覆空間へ移す

被覆空間を基本群の部分群で分類する