BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Internal categories\, generalised multicategories and operads  - N
 athanael Arkor (University of Cambridge)
DTSTART:20190515T100000Z
DTEND:20190515T110000Z
UID:TALK125206@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:Generalised multicategories are structures that naturally gene
 ralise categories by permitting more sophisticated notions of morphism. It
  is possible to give an elementary definition of a multicategory\, but we 
 will see that there is a conceptually elegant alternative taking inspirati
 on from the theory of internal categories. Having done this\, we will expl
 ore a variety of examples as well as a particular special case of interest
 : that of (generalised) operads. Both operads and multicategories feature 
 prominently in popular approaches to models of type theory and\, time perm
 itting\, we will briefly explore this application.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR