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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Internal categories, generalised multicategories and operads

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Michaelhouse, Trinity Street, Cambridge, CB2 1SU Rolls Royce Conference Room, Materials Science and Metallurgy, Department of Goldsmiths 1, Department of Materials Science & Metallurgy

Other talks

Talk TBC Group Work Title to be confirmed Online Causal Inference Seminar Complete and Submit Project Choice Forms Afternoon Break
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity