BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Presheaves seen as freely added colimits: an algorithmic approach 
 - Younesse Kaddar
DTSTART:20200619T100000Z
DTEND:20200619T110000Z
UID:TALK149614@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:To characterise the equivalence relation "having the same coli
 mit" for diagrams in a small category ℂ\, we saw\, last time\, a "big st
 ep" approach directly yielding the canonical colimit diagram acting as a r
 epresentative of the equivalence class. In this (informal again) talk\, in
 dependent of the previous ones\, we will focus on a "small step" approach 
 instead\, by algorithmically computing the canonical colimit diagram\, whi
 ch will appear as a normal form for a certain abstract rewriting system (f
 inally giving a hopefully satisfying intuition as to why presheaves over 
 ℂ correspond to freely added colimits in ℂ).
LOCATION:https://meet.jit.si/Logic-and-Semantics-for-Dummies
END:VEVENT
END:VCALENDAR