BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Regular\, exact\, and PERs categories - Enrico Ghiorzi\, DPMMS
DTSTART:20140220T140000Z
DTEND:20140220T150000Z
UID:TALK51119@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION: There are different ways of dealing with equivalence relation
 s and quotients. Notably:\n* Regular and exact categories: they arise natu
 rally with many examples. Thus\, their free constructions are of particula
 r interest.\n* Categories of partial equivalence relations (PERs): they ar
 e widely used in computer science (particularly in semantics of programmin
 g languages).\nThese notions are linked together and fall within a general
  framework. This provides an explanation of why all these categories are o
 ften found to be cartesian closed.\n\nReferences:\n* Carboni\, Celia Magno
  - The free exact category on a left exact one\n* Carboni\, Vitale - Regul
 ar and exact completions\n* Carboni\, Rosolini - Locally cartesian closed 
 exact completions\n* Birkedal\, Carboni\, Rosolini\, Scott - Type theory v
 ia exact categories\n\n
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR