Derivations as Algebras

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…