Chapter 4: Equivalences

michael commented

2024-07-10 21:58:41 +00:00

Owner

Definitions, Lemmas, and Theorems

Lemma 4.1.1
Lemma 4.1.2
Lemma 4.1.3
Definition 4.2.1
Lemma 4.2.2
Theorem 4.2.3
Definition 4.2.4
Lemma 4.2.5
Theorem 4.2.6
Definition 4.2.7
Lemma 4.2.8
Lemma 4.2.9
Definition 4.2.10
Lemma 4.2.11
Lemma 4.2.12
Theorem 4.2.13
Definition 4.3.1
Theorem 4.3.2
Corollary 4.3.3
Definition 4.4.1
Theorem 4.4.3
Lemma 4.4.4
Theorem 4.4.5
Corollary 4.4.6
Equivalence 4.5
Definition 4.6.1
Theorem 4.6.3
Corollary 4.6.4
Theorem 4.7.1
Definition 4.7.2
Lemma 4.7.3
Theorem 4.7.4
Definition 4.7.5
Theorem 4.7.6
Theorem 4.7.7
Lemma 4.8.1
Lemma 4.8.2
Theorem 4.8.3
Theorem 4.8.4
Definition 4.9.1
Lemma 4.9.2
Corollary 4.9.3
Theorem 4.9.4
Theorem 4.9.5

Exercises

Exercise 4.1
Exercise 4.2
Exercise 4.3
Exercise 4.4
Exercise 4.5
Exercise 4.6
Exercise 4.7
Exercise 4.8
Exercise 4.9

## [Definitions, Lemmas, and Theorems](https://git.mzhang.io/school/type-theory/src/branch/master/src/HottBook/Chapter4.lagda.md) - [x] Lemma 4.1.1 - [ ] Lemma 4.1.2 - [ ] Lemma 4.1.3 - [x] Definition 4.2.1 - [ ] Lemma 4.2.2 - [ ] Theorem 4.2.3 - [x] Definition 4.2.4 - [ ] Lemma 4.2.5 - [ ] Theorem 4.2.6 - [x] Definition 4.2.7 - [ ] Lemma 4.2.8 - [ ] Lemma 4.2.9 - [ ] Definition 4.2.10 - [ ] Lemma 4.2.11 - [ ] Lemma 4.2.12 - [ ] Theorem 4.2.13 - [x] Definition 4.3.1 - [ ] Theorem 4.3.2 - [ ] Corollary 4.3.3 - [ ] Definition 4.4.1 - [ ] Theorem 4.4.3 - [ ] Lemma 4.4.4 - [ ] Theorem 4.4.5 - [ ] Corollary 4.4.6 - [ ] Equivalence 4.5 - [ ] Definition 4.6.1 - [ ] Theorem 4.6.3 - [ ] Corollary 4.6.4 - [ ] Theorem 4.7.1 - [ ] Definition 4.7.2 - [ ] Lemma 4.7.3 - [ ] Theorem 4.7.4 - [ ] Definition 4.7.5 - [ ] Theorem 4.7.6 - [ ] Theorem 4.7.7 - [ ] Lemma 4.8.1 - [ ] Lemma 4.8.2 - [ ] Theorem 4.8.3 - [ ] Theorem 4.8.4 - [ ] Definition 4.9.1 - [ ] Lemma 4.9.2 - [ ] Corollary 4.9.3 - [ ] Theorem 4.9.4 - [ ] Theorem 4.9.5 ## [Exercises](https://git.mzhang.io/school/type-theory/src/branch/master/src/HottBook/Chapter4Exercises.lagda.md) - [ ] Exercise 4.1 - [ ] Exercise 4.2 - [ ] Exercise 4.3 - [ ] Exercise 4.4 - [ ] Exercise 4.5 - [ ] Exercise 4.6 - [ ] Exercise 4.7 - [ ] Exercise 4.8 - [ ] Exercise 4.9

michael added the due date 2024-08-01

2024-07-11 13:02:04 +00:00

michael added the

hott-book-chapter

label 2024-10-15 05:09:02 +00:00

Chapter 4: Equivalences #19

Definitions, Lemmas, and Theorems

Exercises