BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The semi-direct product of categories - Guilherme Lima de Carvalho
  e Silva (University of Cambridge)
DTSTART:20150226T140000Z
DTEND:20150226T150000Z
UID:TALK58249@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:In topos theory we sometimes encounter the procedure of "exter
 nalising" an internal site. I will go through the first step of this proce
 ss\, which involves establishing an equivalence between internal and "exte
 rnal" presheaves. The central notion in this procedure is that of the semi
 -direct product of categories. I will define internal categories (briefly)
  and internal presheaves\, and then proceed to show how the definition of 
 semi-direct product has to be what it is in order to establish the aforeme
 ntioned equivalence.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR