Seminar: What is.. Homotopy Type Theory?

David Schritesser will give a talk about what is homotopy type theory?

This lecture is part of the  "What is..?" seminar.