Vous trouverez sur cette page des documents et ressources en mathématiques et en informatique.
Documents pédagogiques
- Le cahier d’entraînement en physique/chimie
- Le cahier de calcul en maths
- Documents de cours
- Autres documents
- Anciens documents
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.