BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On the Theory of Higher Subtopoi - Eric Finster (Inria - Nantes)
DTSTART:20190528T131500Z
DTEND:20190528T141500Z
UID:TALK125407@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:Recent connections between type theory\, homotopy theory and\n
 higher category theory have revealed interesting new features of\nthe theo
 ry of subtopoi of oo-topoi which have no analog in the\n1-categorical case
 .  I will explain some of these new features\,\ntheir connection with the 
 internal language in the form of\nhomotopy type theory\, as well as their 
 connection to a technique\nfrom abstract homotopy theory known as Goodwill
 ie's Calculus of\nFunctors.
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR