cartesian reverse differential category

Last updated Jul 23, 2024

References.

• Reverse Faa di Bruno Formula (Biggin, Lemay, 2024)
• Reverse Derivative Categories (Cockett, Cruttwell, Gallagher, Lemay, MacAdam, Plotkin, Pronk)

Tags: cartesian differential category.