BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Horizontal &amp\; vertical categorification: from monoids to bicat
 egories - Nathanael Arkor (University of Cambridge)
DTSTART:20191122T110000Z
DTEND:20191122T120000Z
UID:TALK135283@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Categorification refers to the process of generalising a mathe
 matical structure by considering it as a special case in a much richer set
 ting. Horizontal categorification provides extra structure by considering 
 a structure as a single object in a category\; whereas vertical categorifi
 cation takes a definition and replaces the sets with categories\, the func
 tions with functors\, and so on. We will explore these two concepts in rel
 ation to a prototypical example: the monoid. In the process\, we will deve
 lop two useful categorical structures: the monoidal category and the bicat
 egory.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR