L'objet de ce cours sera de présenter la théorie des esquisses, sous-branche de la théorie des catégories fondée par Charles Ehresmann à la fin des années 60. Dans le cadre de la théorie des esquisses, une théorie formelle mathématique (par exemple les axiomes de la théorie des groupes) se trouve représentée par un diagramme catégorique (en l'occurrence l'esquisse de la structure de groupe), diagramme qui devient un objet mathématique à part entière. Dans ce cadre également, toute démonstration à partir des axiomes d'une théorie formelle se trouve représentée par l'enrichissement du diagramme représentant cette théorie. Toute démonstration devient ainsi une construction diagrammatique qui est de l'ordre d'une extension. C'est ce qu'on tâchera d'expliquer.