Programme
The registration will take place in the Reading Room 9.31 in School of Mathematics.
All lectures and tutorials take place in Lecture Theater 19 in Roger Stevens Building.
All coffee breaks take place in the Reading Room 9.31 in School of Mathematics.
| Monday, June 24th | ||
|---|---|---|
| 9:00 – 9:20 | Registration | |
| 9:20 – 9:30 | Welcome | |
| 9:30 – 11:00 | UF Lecture 1 | Peter Lumsdaine, Basics of homotopical foundations |
| 11:00 – 11:30 | Coffee break | |
| 11:30 – 13:00 | HTT Lecture 1 | Charles Rezk, What is a higher topos? |
| 13:00 – 14:30 | Lunch break | |
| 14:30 – 15:30 | Tutorial | Karol Szumiło, Introduction to ∞-categories |
| 15:30 – 16:00 | Coffee break | |
| 16:00 – 17:00 | Tutorial | Nicola Gambino, Syntax and semantics of type theory |
| Tuesday, June 25th | ||
| 9:00 – 10:30 | UF Lecture 2 | Peter Lumsdaine, Truncation and connectivity |
| 10:30 – 11:00 | Coffee break | |
| 11:00 – 12:30 | HTT Lecture 2 | Charles Rezk, Homotopy theory in a higher topos |
| 12:30 – 14:00 | Lunch break | |
| 14:00 – 15:00 | Tutorial | Paige North, Homotopical models of type theory |
| 15:00 – 15:30 | Coffee Break | |
| 15:30 – 16:30 | Special Lecture | Emily Riehl, The synthetic approach to ∞-category theory |
| Wednesday, June 26th | ||
| 9:00 – 10:30 | UF Lecture 3 | Peter Lumsdaine, Modalities and Blakers–Massey |
| 10:30 – 11:00 | Coffee break | |
| 11:00 – 12:30 | HTT Lecture 3 | Charles Rezk, Descent in a higher topos |
| Thursday, June 27th | ||
| 9:00 – 10:30 | UF Lecture 4 | Peter Lumsdaine, Ordinary mathematics in the univalent world |
| 10:30 – 11:00 | Coffee break | |
| 11:00 – 12:30 | HTT Lecture 4 | Charles Rezk, Properties of a higher topos |
| 12:30 – 14:00 | Lunch break | |
| 14:00 – 15:00 | Tutorial | Nima Rasekh, Elementary higher toposes |
| 15:00 – 15:30 | Coffee Break | |
| 15:30 – 16:30 | Special Lecture | Benedikt Ahrens, Mechanized mathematics in univalent foundations |
| Friday, June 28th | ||
| 9:00 – 10:30 | UF Lecture 5 | Peter Lumsdaine, Category theory in the univalent world |
| 10:30 – 11:00 | Coffee break | |
| 11:00 – 12:30 | HTT Lecture 5 | Charles Rezk, Maps of higher topoi and classifying topoi |
| 12:30 – 14:00 | Lunch break | |
| 14:00 – 15:00 | Special Lecture | André Joyal, Problems and conjectures on polynomial functors and monads in ∞-toposes |