Michael Warren (IAS, Princeton, USA), Homotopy and type theory
Schedule
- Feb. 27, 2012, 11:00 - 12:30
- Feb. 29, 2012, 9:00 - 10:30
- March 1, 2012, 11:00 - 12:30
Abstract
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.
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.