INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS

Constructive Type Theory and Homotopy
Speaker
Speaker: 
Steve Awodey
Carnegie Mellon University
Date: 
Fri, 12/03/2010 -
11:00 to 12:00
Location: 
S-101

In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in terms of Quillen model categories and higher-dimensional categories. This talk will survey some of these developments.

event_id: 
40 448
369