BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Endomorphisms of generic models of classifying toposes - Achilleas
  Kryftis - DPMMS
DTSTART:20121018T130000Z
DTEND:20121018T140000Z
UID:TALK41120@talks.cam.ac.uk
CONTACT:Guilherme Lima de Carvalho e Silva
DESCRIPTION:I will show that the endomorphisms of a generic model form a c
 ommutative monoid\, and that every commutative monoid arises in this way. 
 The way everything will be presented does not require you knowing what a t
 opos\, classifying topos or a theory is. The Yoneda lemma and the Yoneda e
 mbedding will be used several times. If there is time I will talk about ho
 w this is related to my research.
LOCATION:CMS\, MR15
END:VEVENT
END:VCALENDAR