BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Univalent Completion - Ieke Moerdijk (University of Utrecht)
DTSTART:20181113T141500Z
DTEND:20181113T151500Z
UID:TALK113836@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:After having presented some motivation and the necessary\ndefi
 nitions I will sketch a simple proof that every Kan fibration can be embed
 ded into a univalent one. (Reference: a paper with Benno van den Berg\, Ma
 th. Ann. 2018)
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR