Rencontre,
15 juin 2023
Aymeric Walch (IRIF), Cartesian Coherent Differential Categories
Programme
- 15 juin 2023, 13:45 - 14:45
Résumé
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial left-additive structure on the category. Additional functoriality and naturality assumptions on this summability structure implement a differential calculus which can also be presented in a formalism close to Blute, Cockett and Seely's Cartesian differential categories.