Michael Warren (IAS, Princeton, USA), Homotopy and type theory


  • Feb. 27, 2012, 11:00 - 12:30
  • Feb. 29, 2012, 9:00 - 10:30
  • March 1, 2012, 11:00 - 12:30


In this series of lectures I will introduce some of the fundamental concepts and results arising from recent research relating homotopy theory, higher-dimensional category theory and type theory. Among the topics to be covered are the following: The homotopy theoretic interpretation of type theory, the Univalence Axiom and its consequences, Voevodsky's model of Univalence, and the generation of homotopy theoretic structures from type theory.