A course on homotopy (type) theory

• 08 May 2019
• Andrej Bauer
• Type theory, Teaching

This semester my colleague Jaka Smrekar and I are teaching a graduate course on homotopy theory and homotopy type theory. The first part was taught by Jaka and was a nice review of classical homotopy theory leading up to Quillen model categories. In the second part I am covering basic homotopy type theory.

The course materials are available at the GitHub repository homotopy-type-theory-course. The homotopy type theory lectures are also recorded on video.

Comments

Colin Paul Adams

01 June 2019 at 16:13

Was the second half of the last lecture actually recorded?

Andrej Bauer

13 June 2019 at 14:22

Yes it was recorded and the video has now been fixed to include it. Sorry for the confusion!

Ivars

11 July 2019 at 13:25

Thank you for publishing these.