UCalgary Peripatetic Seminar: Jean-Simon Pacaud Lemay

  • Date: 10/14/2021
  • Time: 09:00
Lecturer(s):
Jean-Simon Pacaud Lemay, UCalgary
Location: 

Online

Topic: 

Building Cartesian Differential Categories as Kleisli Categories

Description: 

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)