22 citations · 63 across the 24 of their papers we have counts for
5 papers · 1 filter
Cartesian Difference Categories
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential ca…
Linearizing Combinators
Robin Cockett, Jean-Simon Pacaud Lemay
In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the Abelian functor calculus provides an example of a Cartesian differential category. The definition of a Ca…
Why FHilb is Not an Interesting (Co)Differential Category
Jean-Simon Pacaud Lemay
Differential categories provide an axiomatization of the basics of differentiation and categorical models of differential linear logic. As differentiation is an important tool thro…
Cartesian differential categories as skew enriched categories
Richard Garner, Jean-Simon Pacaud Lemay
We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative m…
Cartesian Difference Categories: Extended Report
Mario Alvarez-Picallo, Jean-Simon Pacaud Lemay
Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential ca…