BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Internal Category Theory - Tamara von Glehn DPMMS
DTSTART:20131031T140000Z
DTEND:20131031T150000Z
UID:TALK48698@talks.cam.ac.uk
CONTACT:Guilherme Lima de Carvalho e Silva
DESCRIPTION:A (small) category has a set of objects and a set of morphisms
 \, but the definition of a category makes sense in a more general universe
  than the category of sets: categories can be described internally in any 
 category with pullbacks. I will give some examples of internal categories 
 and functors\, and look at how concepts like limits\, presheaves\, fibrati
 ons and the Yoneda lemma extend to the internal setting.\n
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR