Catégories et compilation
Documents 10/11
Cours du 15 septembre:
Catégories
Sous-catégories
Foncteurs
Exercices de la semaine:
Catégories
Cours du 22 septembre:
Transformations naturelles
Exercices de la semaine:
Foncteurs
Cours du 29 septembre:
Ensembles inductifs
Monades
Exercices de la semaine:
Foncteurs
Cours du 6 octobre:
Modules
Syntaxe
Exercices de la semaine:
Arbres, induction, récursion