BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Semi-Segal types in Homotopy Type Theory - Paolo Capriotti (Univer
 sity of Nottingham)
DTSTART:20161025T131500Z
DTEND:20161025T141500Z
UID:TALK68627@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:The higher dimensional nature of Homotopy Type Theory (HoTT) m
 akes the notion of (∞\,1)-category the appropriate categorical structure
  for modelling collections of types.  However\, it has so far proved very 
 difficult to give an internal definition of (∞\,1)-category that is gene
 ral enough to capture known examples (e.g. universes).\n\nWe will show how
  the definition of complete Segal space can be adapted to the context of H
 oTT to provide a well-behaved notion of (∞\,1)-category that supports ma
 ny of the familiar categorical constructions.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR