BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Adjointness in Foundations: an introduction to Hyperdoctrines - Er
 ic Faber (DPMMS)
DTSTART:20151119T140000Z
DTEND:20151119T150000Z
UID:TALK62624@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:Hyperdoctrines can be seen as an abstract and algebraic approa
 ch to proof theory\nusing indexed categories or fibrations. In this talk\,
  I will explain some of the possible definitions and the motivation behind
  them. I will discuss the interpretation of equality and the necessity of 
 requirements like the Beck-Chevalley condition using examples from the lit
 erature. I hope to see many of you there.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR