Lambda calculs et catégoriesPaul-André MellièsMaster Parisien de Recherche en InformatiqueEcole Normale Supérieure1Plan de la séance1 – Diagrammes de cordes2 – Adjonctions2Première partieDiagrammes de cordesUne notation topologique pour les 2-cellules3