michael/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Projects 1 Releases Packages Wiki Activity Actions

Chapter 8: Homotopy theory #22

New issue
Open
opened 2024-07-11 13:06:18 +00:00 by michael · 0 comments
michael commented 2024-07-11 13:06:18 +00:00
Owner
Copy link

Definitions, Lemmas, and Theorems

  • Definition 8.0.1 (Homotopy groups)
  • Definition 8.1.1
  • Lemma 8.1.2
  • Definition 8.1.5
  • Definition 8.1.6
  • Lemma 8.1.7
  • Lemma 8.1.8
  • Theorem 8.1.9
  • Corollary 8.1.10
  • Corollary 8.1.11
  • Lemma 8.1.12
  • Corollary 8.1.13
  • Theorem 8.1.14
  • Theorem 8.1.15
  • Corollary 8.1.16
  • Theorem 8.2.1
  • Corollary 8.2.2
  • Lemma 8.3.1
  • Lemma 8.3.2
  • Corollary 8.3.3
  • Definition 8.4.1
  • Definition 8.4.2
  • Definition 8.4.3
  • Lemma 8.4.4
  • Definition 8.4.5
  • Theorem 8.4.6
  • Lemma 8.4.7
  • Corollary 8.4.8
  • Theorem 8.5.1
  • Corollary 8.5.2
  • Lemma 8.5.3
  • Definition 8.5.4
  • Lemma 8.5.5
  • Definition 8.5.6
  • Lemma 8.5.7
  • Lemma 8.5.8
  • Lemma 8.5.9
  • Lemma 8.5.10
  • Theorem 8.5.11
  • Lemma 8.6.1
  • Lemma 8.6.2
  • Theorem 8.6.4
  • Definition 8.6.5
  • Lemma 8.6.10
  • Corollary 8.6.14
  • Corollary 8.6.15
  • Theorem 8.6.17
  • Corollary 8.6.18
  • Corollary 8.6.19
  • Theorem 8.7.4
  • Example 8.7.6
  • Example 8.7.7
  • Example 8.7.8
  • Lemma 8.7.9
  • Theorem 8.7.12
  • Example 8.7.13
  • Example 8.7.14
  • Example 8.7.15
  • Example 8.7.16
  • Example 8.7.17
  • Theorem 8.8.1
  • Corollary 8.8.2
  • Theorem 8.8.3
  • Corollary 8.8.4
  • Corollary 8.8.5
  • Example 8.8.6
  • Lemma 8.9.1
  • Lemma 8.9.2
  • Theorem 8.10.1
  • Theorem 8.10.2
  • Theorem 8.10.3
  • Theorem 8.10.4

Exercises

  • Exercise 8.1
  • Exercise 8.2
  • Exercise 8.3
  • Exercise 8.4
  • Exercise 8.5
  • Exercise 8.6
  • Exercise 8.7
  • Exercise 8.8
  • Exercise 8.9
  • Exercise 8.10
  • Exercise 8.11
## [Definitions, Lemmas, and Theorems](https://git.mzhang.io/school/type-theory/src/branch/master/src/HottBook/Chapter8.lagda.md) - [ ] Definition 8.0.1 (Homotopy groups) - [x] Definition 8.1.1 - [ ] Lemma 8.1.2 - [ ] Definition 8.1.5 - [ ] Definition 8.1.6 - [ ] Lemma 8.1.7 - [ ] Lemma 8.1.8 - [ ] Theorem 8.1.9 - [ ] Corollary 8.1.10 - [ ] Corollary 8.1.11 - [ ] Lemma 8.1.12 - [ ] Corollary 8.1.13 - [ ] Theorem 8.1.14 - [ ] Theorem 8.1.15 - [ ] Corollary 8.1.16 - [ ] Theorem 8.2.1 - [ ] Corollary 8.2.2 - [ ] Lemma 8.3.1 - [ ] Lemma 8.3.2 - [ ] Corollary 8.3.3 - [ ] Definition 8.4.1 - [ ] Definition 8.4.2 - [ ] Definition 8.4.3 - [ ] Lemma 8.4.4 - [ ] Definition 8.4.5 - [ ] Theorem 8.4.6 - [ ] Lemma 8.4.7 - [ ] Corollary 8.4.8 - [ ] Theorem 8.5.1 - [ ] Corollary 8.5.2 - [ ] Lemma 8.5.3 - [ ] Definition 8.5.4 - [ ] Lemma 8.5.5 - [ ] Definition 8.5.6 - [ ] Lemma 8.5.7 - [ ] Lemma 8.5.8 - [ ] Lemma 8.5.9 - [ ] Lemma 8.5.10 - [ ] Theorem 8.5.11 - [ ] Lemma 8.6.1 - [ ] Lemma 8.6.2 - [ ] Theorem 8.6.4 - [ ] Definition 8.6.5 - [ ] Lemma 8.6.10 - [ ] Corollary 8.6.14 - [ ] Corollary 8.6.15 - [ ] Theorem 8.6.17 - [ ] Corollary 8.6.18 - [ ] Corollary 8.6.19 - [ ] Theorem 8.7.4 - [ ] Example 8.7.6 - [ ] Example 8.7.7 - [ ] Example 8.7.8 - [ ] Lemma 8.7.9 - [ ] Theorem 8.7.12 - [ ] Example 8.7.13 - [ ] Example 8.7.14 - [ ] Example 8.7.15 - [ ] Example 8.7.16 - [ ] Example 8.7.17 - [ ] Theorem 8.8.1 - [ ] Corollary 8.8.2 - [ ] Theorem 8.8.3 - [ ] Corollary 8.8.4 - [ ] Corollary 8.8.5 - [ ] Example 8.8.6 - [ ] Lemma 8.9.1 - [ ] Lemma 8.9.2 - [ ] Theorem 8.10.1 - [ ] Theorem 8.10.2 - [ ] Theorem 8.10.3 - [ ] Theorem 8.10.4 ## [Exercises](https://git.mzhang.io/school/type-theory/src/branch/master/src/HottBook/Chapter8Exercises.lagda.md) - [ ] Exercise 8.1 - [ ] Exercise 8.2 - [ ] Exercise 8.3 - [ ] Exercise 8.4 - [ ] Exercise 8.5 - [ ] Exercise 8.6 - [ ] Exercise 8.7 - [ ] Exercise 8.8 - [ ] Exercise 8.9 - [ ] Exercise 8.10 - [ ] Exercise 8.11
michael added the due date 2024-11-01 2024-07-11 13:06:33 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
master
No results found.
Labels
Clear labels   
asking-favonia

   
exercise

   
questions

Open questions I'm trying to find the answer to

  
size
L

  
T-equivalence

[Topic] Equivalence-related issues

No labels
asking-favonia
exercise
questions
size
L
T-equivalence
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

2024-11-01

Dependencies

No dependencies set.

Reference: michael/type-theory#22
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?