Freely generated categorical structures and automatic differentiation
Automatic differentiation (AD) transforms programs into programs that compute derivatives and is a central tool in scientific computing, machine learning and optimisation. Extending AD to expressive programming languages raises a fundamental question: how can differentiation accommodate higher-order functions, rich dat...