Online algebra seminar - May 28, 1pm |
|
|
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
Abstract: 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 |