HOTT – Homotopy type theory
This is the webpage for the master 2 course Homotopy type theory (aka HOTT) taught at the Parisian Master of Research in Computer Science (MPRI).
Practical
The course takes place on Wednesdays in room 1004 of Sophie Germain building. It runs from December 10th, 2025 until February 25th, 2026, except December 24th and 31st (Winter holidays). The exam takes place on March 4th, 2026.
Material
The course roughly follows the HoTT book which can be considered as a textbook for this course.