BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Categories of Relations (Allegories) - Morgan Rogers
DTSTART:20180315T130000Z
DTEND:20180315T140000Z
UID:TALK103114@talks.cam.ac.uk
CONTACT:Loren E. Held
DESCRIPTION:In the Category Theory course it was observed in passing that 
 the category 'Set' of sets and functions is naturally a subcategory of 'Re
 l'\, the category of sets and binary relations. We can produce a parallel 
 statement for any category with sufficient internal structure\, and the re
 sulting abstract object is an Allegory. I shall motivate and define allego
 ries and examine how some desirable properties of categories are reflected
  in their categories of relations.
LOCATION:MR15
END:VEVENT
END:VCALENDAR