Online algebra seminar - May 28, 1pm PDF Print

We will continue online on Thursday, May 28, at 1pm on ZOOM platform (for information how to acces seminar and next programme visit this page) by the talk:

Christopher Dean

Globular Multicategories with Homomorphism Types

We introduce structures called globular multicategories with homomorphism types. We discuss how various collections of “higher category-like” objects can be used to to construct these globular multicategories. We show how to obtain a number of higher categorical structures using this data. We will see that in this setting there is a precise sense in which:
• types are higher categories,
• dependent types are profunctors,
• terms are higher functors,
• terms in a dependent context are higher transformations,
• there is a higher category of all types and terms.

Last Updated on Tuesday, 26 May 2020 10:25