Working Seminar on Homotopy Type Theory

2023-24

This year's working seminar will be on Homotopy Type Theory. The main source for this is the HoTT Book.

After the first five talks, possible topics include:

Please let me know if you are interested in giving a talk.

Schedule: Wednesday, 3pm

Day Venue Speaker Title References Notes
October 25 MATH-210 Thomas Basic Type Theory HoTT chapters 1, 5 Basics
November 8 MATH-210 Thomas Inductive constructions HoTT chapters 1, 5
November 22 MATH-210 Thomas Equality -
December 6, 4pm MATH-210 Thomas Equality and Univalence -
December 13 MATH-210 Thomas Univalence - Univalence
February 14 MATH-210 Thomas Equivalences -
March 6 MATH-210 Thomas Univalence -
March 13 MATH-210 Thomas Logic revisited -
April 17 MATH-210 Thomas Function extensionality - Function extensionality
April 24 MATH-210 Thomas Logic - Logic
May 15 MATH-210 Thomas Higher Inductive Types - Higher Inductive Types