| 1 |
23 Jan |
Read Chapters 1–3 of the tutorial, do exercises in Chapter 2 |
|
| 2 |
30 Jan |
Continue reading 2–3 with exercises, start Chapter 4 |
|
| 3 |
6 Feb |
Read through Chapter 5, do exercises in 3 and 4 |
|
| 4 |
13 Feb |
Read Chapter 6, and prove some theorems! |
|
| 5 |
27 Feb |
Read Chapters 6 and 7, and do exercises (esp. Section 6.4) |
|
| 6 |
20 Mar |
Read Chapter 8, think about final projects |
|
| 7 |
27 Mar |
Read Chapters 9 and 10, and do exercises |
|
| 8 |
3 Apr |
Read Chapter 11 |
|
| 9 |
10 Apr |
Read the HoTT Book, esp. 1.12, 2.1–2.6, 3.1–3.4 |
|
| 10 |
17 Apr |
Read Chapter 12 of the tutorial |
|
