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: https://richardblute.ca/octoberfest-2023/ , and will also be a tutorial on differential categories (with antiderivatives).
Back