Vous trouverez sur cette page des documents et ressources en mathématiques et en informatique.

Les cahiers d’entraînements

Documents pédagogiques

Cours sur les catégories

J’ai commencé à donner en septembre 2020 un cours sur la théorie de catégories dont le but est l’interprétation topossique des méthodes de forcing de Cohen. Ce projet est pour l’instant à l’arrêt.

Recherches

Ma thèse portait sur des questions de géométrie algébrique, de théorie de Galois différentielle et de théorie des catégories.
En plus de ces sujets, je m’intéresse à la théorie des types.

Vidéos d’exercices corrigés

Ces vidéos ont été réalisées pendant le confinement de mars-juin 2020.

Fragments de code

Je mets ici à disposition des fragments de code, en particulier de code LaTeX.