References. Reverse Faa di Bruno Formula (Biggin, Lemay, 2024) Reverse Derivative Categories (Cockett, Cruttwell, Gallagher, Lemay, MacAdam, Plotkin, Pronk) Tags: cartesian differential category.
