2022-03-03: Fredrik Nordvall Forsberg (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Fredrik Nordvall Forsberg (MSP)

On the differential structure of containers

Abstract

About twenty years ago, Conor noticed a curious connection between rules for computing the type of `one-hole contexts' for algebraic data types, and Leibniz's calculus differentiation rules: they are exactly the same! Together with Neil and Conor, I've had some fun recently trying to put this result in Blute, Cockett and Seely's categorical framework of differentiation, by constructing a so-called Cartesian differential category of containers. Of course, I will explain what these are during the talk.

2022-03-03 14:00:00 UTC
Online