Cours de premier semestre de L1, bases de calcul : trigonométrie, résolution d’équations, dérivation et intégration… Format cours-TD.
Introduction à l’informatique pour des L1 de Biologie, Géologie, Chimie. Chargé de TD et de TP.
Cours d’algèbre linéaire en L2 informatique. Chargé de TD.
Pendant ma deuxième année de master, avec mon camarade Rémy Cerda nous avons organisé et donné un séminaire/cours d’introduction à la théorie des catégories. Il était destiné à nos camarades de mathématique et d’informatique, le sujet n’étant pas enseigné à l’ENS de Lyon, tout en étant nécessaire pour une portion significative des cours de master.
Notre référence principale était le livre de Steve Awodey, et nous avons couvert la majorité des sujets catégoriques basiques : foncteurs, propriétés universelles, limites, adjoints, monades, le lemme de Yoneda…