1 paper · 2 filters
Jean-Simon Pacaud Lemay, Chiara Sava
Differential categories provide the categorical foundations for the algebraic approaches to differentiation. They have been successful in formalizing various important concepts rel…