Construction Cobar

Un dual à niveau de cochaînes de la construction bar qui fabrique des modèles d'algèbres ou de coalgèbres différentielles graduées à partir de coalgèbres counitales ou d'algèbres différentielles graduées augmentées, utilisé pour calculer Ext, la cohomologie et modéliser des types d'homotopie.