BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

From categorical models of differentiation to topologies in vector spaces. Kerjean, Marie


Differential categories have a rich relation with proof theory and linear logic. In this talk, we will focus on models interpreting differential linear logic in topological vector spaces, and specifically for models interpreting the involutive linear negation of classical linear logic. We will survey the main ingredients that can make a category with smooth functions over topological vector spaces cartesian closed. We also review the main limitations to reaching *-autonomy in topological vector spaces. If time permits, we will explore how chiralities, models of polarized linear logic, are especially appropriate in this context, and facilitate the search for cartesian closedness and *-autonomy.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International