Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

2 points | by measurablefunc 11 hours ago