BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: An Introduction to Classifying Toposes - Achilleas Kryftis - DPMM
 S
DTSTART:20111124T140000Z
DTEND:20111124T150000Z
UID:TALK34736@talks.cam.ac.uk
CONTACT:Guilherme Lima de Carvalho e Silva
DESCRIPTION:The talk will begin with the definition of a topos. The interp
 retation of logic in a topos will be presented (mainly through examples). 
 Classifying toposes will also be defined\, and some of their properties ex
 plained\, demonstrating that they are useful tools for understanding geome
 tric theories. The classifying topos for the theory of rings will be const
 ructed and if there is time the construction of the classifying topos for 
 a general cartesian theory will be outlined. Once we have the classifying 
 topos for a cartesian theory there are several ways of obtaining classifyi
 ng toposes for new geometric theories. Some of these methods will be prese
 nted.\n
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR