Cartesian Coherent Differential Categories - Institut de Recherche en Informatique Fondamentale Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Cartesian Coherent Differential Categories

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. We show that a simple term language equipped with a natural notion of differentiation can easily be interpreted in such a category.
Fichier principal
Vignette du fichier
LICS23.pdf (512.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04015264 , version 1 (10-03-2023)
hal-04015264 , version 2 (06-06-2023)

Identifiants

Citer

Thomas Ehrhard, Aymeric Walch. Cartesian Coherent Differential Categories. 2023. ⟨hal-04015264v1⟩
56 Consultations
22 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More