BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Left Exact Modalities in Type Theory - Eric Finster\, INRIA Rennes
DTSTART:20180309T140000Z
DTEND:20180309T150000Z
UID:TALK95551@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:I will discuss a recognition principle for left exact modaliti
 es in homotopy type theory and explain how it relates to the problem of un
 derstanding subtopoi of $\\infty$-topoi.  This  theory generalizes the cla
 ssical theory of Lawvere-Tieney topologies to the case of  higher topoi. I
  will also describe some new phenomena which arise in the higher dimension
 al case.
LOCATION:FW26
END:VEVENT
END:VCALENDAR