University of Cambridge > > Logic & Semantics for Dummies > Internal categories, generalised multicategories and operads

Internal categories, generalised multicategories and operads

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity