UCalgary Peripatetic Seminar: Jean-Simon Pacaud Lemay

  • Date: 10/14/2021
  • Time: 09:00
Jean-Simon Pacaud Lemay, UCalgary



Building Cartesian Differential Categories as Kleisli Categories


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!

Other Information: 

Time: 9am Pacific/ 10am Mountain 


Location: Zoom (email sacha.ikonicoff at ucalgary.ca for more info)