BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Homotopy Type Theory and Univalent Foundations of Mathematics III 
 - Chris Kapulkin\, University of Pittsburgh
DTSTART:20110701T131500Z
DTEND:20110701T141500Z
UID:TALK31967@talks.cam.ac.uk
CONTACT:Nathan Bowler
DESCRIPTION:This series of talks is an introduction to Homotopy Type Theor
 y and the Univalent Foundations of Mathematics. This new area of research 
 develops a beautiful connection between algebraic topology (homotopy theor
 y) and theoretical computer science (type theory).\n\nIn the last talk we 
 will try to show that the Univalent Foundations are at least as consistent
  as ZFC. We will do so by constructing a model of the Univalence Axiom in 
 the category of simplicial sets. If time permits\, we will sketch some ope
 n problems in the field.
LOCATION:MR13\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR