BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Simplicial sets and their homotopy theory - Sean Moss
DTSTART:20150212T140000Z
DTEND:20150212T150000Z
UID:TALK58010@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:We can think of a simplicial set as a sort of space built out 
 of the standard geometric simplices\, or perhaps as some kind of infinitar
 y directed multigraph. They are fundamental in modern homotopy theory and 
 have recently been shown to provide a model of a univalent type theory.\n\
 nI will give a beginner's introduction to simplicial sets\, focussing on t
 heir homotopy theory (which is the same as the homotopy theory of topologi
 cal spaces). The homotopy theory can be bundled into the structure of a 'm
 odel category'\, which I will explain briefly. I will describe Kan's 'Ex-i
 nfinity' functor and sketch how this allows one to give a purely combinato
 rial (and somewhat constructive) presentation of the model structure.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR