PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Homotopy, higher-dimensional category theory and logic
Seminar:Logic Seminar
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

Room Number:MB106
Date:08 / 16 / 2011
Time:02:30pm - 03:45pm