BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Local Geometric Morphisms - Guilherme Lima de Carvalho e Silva (Un
 iversity of Cambridge)
DTSTART:20140508T130000Z
DTEND:20140508T140000Z
UID:TALK52557@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:I will explain the main results in Johnstone's and\nMoerdijk's
  "Local Maps of Toposes" paper\, reviewing a lot of the\nbackground materi
 al on Topos Theory as I do it. This is a good\nopportunity for Part III st
 udents taking the Topos Theory course to\nsee some of the theory in action
 \, and also for anyone interested in\nthe topic per se\, since it has beco
 me quite relevant in the study of\nRealisability.
LOCATION:CMS\, MR3
END:VEVENT
END:VCALENDAR