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

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.