BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A gentle introduction to Categorical Logic - Filip Bár\, DPMMS
DTSTART:20140213T140000Z
DTEND:20140213T150000Z
UID:TALK50960@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:How can we interpret sentences formulated in (fragments of) fi
 rst order logic in a category? By taking the viewpoint that the objects of
  a category are some kind of sets\, we derive means of formal interpertati
 ons by using the ideas of Tarskian Semantics. Exploiting this idea in more
  depth will lead us to the construction of syntactic categories\, and aski
 ng about higher order logic leads to toposes\, eventually.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR