diff --git a/1FundamentalGroup/Quest2Part0.md b/1FundamentalGroup/Quest2Part0.md index 20bc385..ea0393f 100644 --- a/1FundamentalGroup/Quest2Part0.md +++ b/1FundamentalGroup/Quest2Part0.md @@ -5,6 +5,8 @@ Creating the inverse map is difficult without access to the entire circle. Similarly to how we used `doubleCover` to distinguish `refl` and `base`, the idea is to replace `Bool` with `ℤ`, allowing us to distinguish between all loops on `S¹`. +In `Part0` and `Part1` we will construct one of the two comparison maps +across the whole circle, called `spinCount`. The plan is : diff --git a/1FundamentalGroup/Quest2Part1.md b/1FundamentalGroup/Quest2Part1.md index 1dabbce..97397ce 100644 --- a/1FundamentalGroup/Quest2Part1.md +++ b/1FundamentalGroup/Quest2Part1.md @@ -1,4 +1,4 @@ -# Comparison maps between `Ω S¹ base` and `ℤ` +# Comparison maps between `Ω S¹ base` and `ℤ` - `spinCount` ## The `ℤ`-bundle `helix`