Jean-Simon Lemay (University of Oxford) : The Theory of Differential Categories.
Abstract: 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 three (possibly four) lectures:
Lecture 3) We will discuss tangent categories, which formalize tangent bundle structure and the theory of smooth manifolds.