Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories

Aaron Biggin, Jean-Simon Pacaud Lemay

Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical frame…