A tangent category alternative to the Faa di Bruno construction
Jean−Simon Pacaud Lemay
Journal
Theory and Applications of Categories
Keywords
Cartesian Differential Categories‚ Cofree Cartesian Differential Categories‚ Tangent Categories‚ Higher−Order Chain Rule
Number
35
Pages
1072–1110
Volume
33
Year
2018