Internal categories, generalised multicategories and operads

Add to your list(s) Download to your calendar using vCal

• Nathanael Arkor (University of Cambridge)
• Wednesday 15 May 2019, 11:00-12:00
• Rainbow Room (FS07), Computer Laboratory.

If you have a question about this talk, please contact Nathanael Arkor.

Generalised multicategories are structures that naturally generalise 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 inspiration from the theory of internal categories. Having done this, we will explore 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 permitting, we will briefly explore this application.

This talk is part of the Logic & Semantics for Dummies series.

This talk is included in these lists:

• Logic & Semantics for Dummies
• Rainbow Room (FS07), Computer Laboratory
• tcw57’s list
• yk373's list

Note that ex-directory lists are not shown.