BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

Bifibrations of polycategories and MLL Blanco, Nicolas


Polycategories are structures generalising categories and multicategories by letting both the domain and codomain of the morphisms to be lists of objects. This provides an interesting framework to study models of classical multiplicative linear logic. In particular the interpretation of the connectives ise given by objects defined by universal properties in contrast to their interpretation in a *-autonomous category. In this talk, I will introduce the notion of bifibration of polycategories and I will present how the universal properties of the connectives can be recovered as specific bifibrational properties. I will illustrate this approach through the examples of finite dimensional Banach spaces and contractive maps. These form a *-autonomous category which structure is given by lifting the compact closed structure of the category of finite dimensional vector spaces. This lifting is made possible by considering the fibrational properties of the forgetful functor between the underlying polycategories.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International