Vous trouverez sur cette page des documents et ressources en mathématiques et en informatique.
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.
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.
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.
Fragments de code
Je mets ici à disposition des fragments de code, en particulier de code LaTeX.