For more information about this meeting, contact Stephen Simpson.
|Title:||Homotopy, higher-dimensional category theory and logic|
|Speaker:||Michael A. Warren, Dalhousie University and Institute for Advanced Study|
|It has recently come to light that there are profound connections between homotopy theory and Martin-Löf's constructive type theory. The aim of this talk is to provide a general introduction to this research. In particular, we will sketch the interpretation of type theory using machinery from homotopy theory and if time permits we will describe some more recent developments such as the idea of modeling homotopy types with type theory and Voevodsky's Univalence Axiom. The talk should be accessible to those with no background in homotopy theory or type theory.|
Room Reservation Information
|Date:||08 / 16 / 2011|
|Time:||02:30pm - 03:45pm|