1 citations · 2 across the 2 of their papers we have counts for
4 papers · 1 filter
Jacobians and Gradients for Cartesian Differential Categories
Jean-Simon Pacaud Lemay
Cartesian differential categories come equipped with a differential combinator that formalizes the directional derivative from multivariable calculus. Cartesian differential catego…
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 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…
Reverse derivative categories
Robin Cockett, Geoffrey Cruttwell, Jonathan Gallagher +4
The reverse derivative is a fundamental operation in machine learning and automatic differentiation. This paper gives a direct axiomatization of a category with a reverse derivativ…