Online seminář z algebry - 28.5.2020 |
|
|
Další seminář z algebry se koná 28.5.2020 od 13.00 online na platformě ZOOM. Informace pro připojení a další program semináře je zde. Christopher Dean
Globular Multicategories with Homomorphism Types
Abstrakt: 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.
|
Aktualizováno Úterý, 26 Květen 2020 10:22 |