Lieu : CMI, salle ??, le 13/07/06 à 14h00.
Programme :
Résumé:
Dans un premier temps on expliquera succintement les rapports entre algèbre de Hopf et lambda-calcul/logique linéaire. On montrera en particulier une présentation diagrammatique des algèbres de Hopf.
Dans un second temps on montrera les constructions des algèbres de Hopf non commutatives de Loday-Ronco et Malvenueto-Reutenaer telles qu'elles sont décrites par Aguiar-Sottile ; il s'agit des algèbres de Hopf de permutations, d'arbres binaires et de décompositions et l'on explicitera les relations naturelles existant entre elles ; on mettra en particulier l'accent sur le fait que ces algèbres sont basées sur des structures d'ordre et que ces relations sont engendrées par des morphismes de poset.