Derivations and Integrations in a Differential Category (with Antiderivatives)

JS Lemay – 25 October 2023

Last time, we discussed derivations and integrations in classical algebra. This week, we will discuss their analogues in a differential category. In such a setting, derivations are axiomatized by the chain rule, while integrations are axiomatized by the integration by substitution rule. This will be an extended version of the talk I am giving at the Octoberfest virtual conference: , and will also be a tutorial on differential categories (with antiderivatives).