Talks.cam

Internal categories, generalised multicategories and operads - Nathanael Arkor (University of Cambridge)
2019-05-15 10:00 - 11:00 UTC | Rainbow Room (FS07), Computer Laboratory
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.
