00:00:00 / 00:00:00

Apparaît dans la 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.

Informations sur la vidéo

Données de citation

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis