Mathematical logic seminar - Feb 8, 2011

Time: 12:00 - 13:20

Room: Wean Hall 7201

Speaker:     Steve Awodey    
Department of Philosophy
Carnegie Mellon University

Title: Homotopy type theory

Abstract: 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.