Date |
Speaker |
Assigned Reading |
Lecture Notes |
January 22, 2020 |
Aditya Tewari |
No Reading |
Lecture 0 |
January 24, 2020 |
Aditya Tewari |
1.1 - 1.3 From HoTT |
Lecture 1 |
January 27, 2020 |
Leon Liu |
1.4 From HoTT |
TBP |
January 29, 2020 |
Niklas Lauffer |
1.5 - 1.6 HoTT |
TBP |
January 31, 2020 |
Discussion |
Arend Tutorial |
No Notes |
February 03, 2020 |
Daniel Kim |
1.9-1.10 From HoTT |
TBP |
February 05, 2020 |
Leon Liu |
1.12 From HoTT |
TBP |
February 07, 2020 |
Discussion |
No Reading, Bring Questions |
TBP |
February 10, 2020 |
Leon Liu |
2.1-2.2 From HoTT |
TBP |
February 12, 2020 |
Niklas Lauffer |
TBA |
TBP |
February 14, 2020 |
Discussion |
No Reading, Bring Questions |
TBP |
February 17, 2020 |
Rithvik Reddy |
1.7-1.8 From HoTT |
TBP |
February 19, 2020 |
Arnav Mohan |
1.11 From HoTT |
TBP |
February 21, 2020 |
Discussion |
No Reading, Bring Questions |
TBP |
February 24, 2020 |
Qitong Liu |
2.3 From HoTT |
TBP |
February 26, 2020 |
Aditya Tewari |
HoTT |
TBP |
February 28, 2020 |
Adrian Clough |
Fibrations |
TBP |
March 02, 2020 |
Adrian Clough |
More Fibrations |
TBP |
March 04, 2020 |
Owen Graves |
2.5 From HoTT |
TBP |
March 06, 2020 |
Daniel Kim |
2.10 From HoTT |
TBP |
March 09, 2020 |
TBA |
All of Chapter 3 |
TBP |
March 11, 2020 |
TBA |
2.10 From HoTT |
TBP |