En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 18M05 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Differential categories - Lemay, Jean-Simon (Auteur de la Conférence) | CIRM H

Multi angle

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.[-]
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 ...[+]

18F40 ; 18-01 ; 18M05

Sélection Signaler une erreur