Jean-Simon Pacaud Lemay

Date: October 14, 2021
Time: 12:00 am - 12:00 am
Location: Zoom (email sacha.ikonicoff at ucalgary.ca for more info)

Title: Building Cartesian Differential Categories as Kleisli Categories

Abstract: Cartesian differential categories (CDC) come equipped with a differential combinator, which provides a categorical axiomatization of the directional derivative from multivariable calculus, and so produces a derivative for every map. An important example of a CDC is the coKleisli category of a differential category. In 2018, BJORT constructed a CDC from abelian functor calculus. However, the BJORT example arises as a Kleisli category rather than a coKleisli category.

In this talk, I will generalize this story and explain how to construct a CDC as a Kleisli category. Since CDC are not self-dual, it is not as simple as taking the dual construction of the coKleisli category: in fact it is very different!