BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Gödel's "Dialectica": Abstract and Concrete - Eric Faber (DPMMS)
DTSTART:20160218T140000Z
DTEND:20160218T150000Z
UID:TALK64593@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:Gödel's "Dialectica" interpretation\, published in 1958 in th
 e eponymous journal\, is an interpretation of Heyting Arithmetic in a quan
 tifier-free theory of functionals\, often called Gödel's T. In this talk\
 , I will contrast Gödel's original definition with an abstract approach i
 n category theory. Namely\, it turns out that the Dialectica interpretatio
 n can be understood in terms of a monad on a certain category of fibration
 s. This correspondence also relates the Dialectica interpretation to other
  functional interpretations and type theory. However\, as I will point out
 \, the connection has some limitations and is still to be better understoo
 d.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR