Internship report: Coherent differentiation in models of Linear Logic
Logic in Computer Science
2024-10-24 v1
Abstract
Coherent differentiation was introduced by Ehrhard in order to generalize differential categories to a setting in which the sum is only partially defined, in order to account for the deterministic nature of most models of computation. This internship report proves that the deriving transformation of a differential category with a categorical product always induces a coherent differentiation. This ensures that coherent differentiation is indeed a generalization of differential categories.
Cite
@article{arxiv.2410.17743,
title = {Internship report: Coherent differentiation in models of Linear Logic},
author = {Aymeric Walch},
journal= {arXiv preprint arXiv:2410.17743},
year = {2024}
}