00:00:00 / 00:00:00

Appears in collection : Differential $\lambda$-Calculus and Differential Linear Logic, 20 Years Later / $ \lambda $-calcul différentiel et logique linéaire différentielle, 20 ans après

In this tutorial, we will give an introductory overview of the theory of differential categories. The first half will be dedicated to (monoidal) differential categories, which provide the categorical foundations of the algebraic foundations of differentiation and the categorial semantics of differential categories. The second half will be dedicated to Cartesian differential categories, which provide the categorial foundations of differential calculus over Euclidean spaces and the categorical semantics of the differential lambda calculus. We will go over the definitions, see lots of examples and references.

Information about the video

Citation data

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback