Vous trouverez sur cette page des documents et ressources mathématiques qui pourront être utiles aux étudiants, aux enseignants et aux personnes qui préparent les concours de l’enseignement.

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.

Vidéos d’exercices corrigés

Ces vidéos ont été réalisées pendant le confinement de mars-juin 2020, à l’intention de mes élèves de PCSI du lycée Sainte-Geneviève.

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.
Je collabore régulièrement à la RMS.