BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Type Theory and Regular Completions - Enrico Ghiorzi
DTSTART:20140513T131500Z
DTEND:20140513T141500Z
UID:TALK52612@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION:Categorical models of Type Theory are subject to the\napplicat
 ion of categorical constructions. Though\, there seems not to be a straigh
 tforward way to apply the regular (or exact) completion.\nIn this talk\, m
 otivations for the study of Type Theory in conjunction with regular comple
 tion will be presented\, as well as the reasons why it\nis not possible to
  apply this construction as it is. This will lead to talk about the weak o
 mega-groupoid structure of types and the weak factorisation system for mod
 els of Type Theory with identity types.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR