BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Internal Language of Higher Categories - Karol Szumiło (Universit
 y of Leeds)
DTSTART:20190226T141500Z
DTEND:20190226T151500Z
UID:TALK117856@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:Theory of (infinity\, 1)-categories can be seen as an abstract
 \nframework for homotopy theory which emerged from classical category\nthe
 ory and algebraic topology. Homotopy Type Theory is a formal\nlanguage ori
 ginating from logic which can also be used to argue about\nhomotopy theory
 . It is believed that HoTT is an "internal language" of\n(infinity\, 1)-ca
 tegories. Roughly speaking\, this means that HoTT and\nhigher category the
 ory prove the same theorems. Even making this\nstatement precise is challe
 nging and leads to a range of conjectures\nof varying scope and depth. In 
 this talk\, I will discuss a proof of\nthe simplest of these conjectures o
 btained in joint work with\nChris Kapulkin.
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR