The previous lecture in this series is here.
The theory of differential categories uses category theory to study the foundations of differentiation. Differential categories have been able to formalize various aspects of differentiation, from the very basic foundational aspects of differentiation to the more complex notions of differential geometry. In these lectures, we propose to introduce and summarize the theory of differential categories, as well as discuss interesting examples and applications. There will be four lectures:
Lecture 4: Reverse differentiation is used in programming for efficient computations. We will discuss Cartesian reverse differential categories, a recent introduction to the theory of differential categories, which axiomatizes reverse differentiation, and their relationship to Cartesian differential categories, which axiomatize the forward derivative.
This video is part of the London Mathematical Society‘s Online Graduate Lecture Series. These are supported by the LMS, and organized by YaMCATS.