BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Junior Category Theory Seminar
SUMMARY:Simplicial sets and their homotopy theory - Sean M
oss
DTSTART;TZID=Europe/London:20150212T140000
DTEND;TZID=Europe/London:20150212T150000
UID:TALK58010AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/58010
DESCRIPTION:We can think of a simplicial set as a sort of spac
e built out of the standard geometric simplices\,
or perhaps as some kind of infinitary directed mul
tigraph. They are fundamental in modern homotopy t
heory and have recently been shown to provide a mo
del of a univalent type theory.\n\nI will give a b
eginner's introduction to simplicial sets\, focuss
ing on their homotopy theory (which is the same as
the homotopy theory of topological spaces). The h
omotopy theory can be bundled into the structure o
f a 'model category'\, which I will explain briefl
y. I will describe Kan's 'Ex-infinity' functor and
sketch how this allows one to give a purely combi
natorial (and somewhat constructive) presentation
of the model structure.
LOCATION:CMS\, MR13
CONTACT:Sean Moss
END:VEVENT
END:VCALENDAR