From 3c7d924b863ebc62bf547a2c129997c8ab1a7a0b Mon Sep 17 00:00:00 2001 From: Jlh18 Date: Wed, 22 Sep 2021 09:58:48 +0100 Subject: [PATCH] edits to 1FundamentalGroup/Quest2 --- 1FundamentalGroup/Quest2Part0.md | 2 ++ 1FundamentalGroup/Quest2Part1.md | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) 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`