- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- From categorical models of differentiation to topologies...
Open Collections
BIRS Workshop Lecture Videos
BIRS Workshop Lecture Videos
From categorical models of differentiation to topologies in vector spaces. Kerjean, Marie
Description
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 Metadata
Title |
From categorical models of differentiation to topologies in vector spaces.
|
Creator | |
Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
Date Issued |
2021-06-15T10:30
|
Description |
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.
|
Extent |
46.0 minutes
|
Subject | |
Type | |
File Format |
video/mp4
|
Language |
eng
|
Notes |
Author affiliation: LIPN, CNRS, Université Sorbonne Paris Nord
|
Series | |
Date Available |
2023-10-29
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
DOI |
10.14288/1.0437409
|
URI | |
Affiliation | |
Peer Review Status |
Unreviewed
|
Scholarly Level |
Other
|
Rights URI | |
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International