Dualité de Koszul

Une relation entre certains objets algébriques quadratiques (ou de type quadratique) et leurs duaux homologiques, réalisée par les constructions bar et cobar ou via les algèbres d’Ext ; elle identifie une algèbre à un objet dual dérivé ou homotopique dont l’homologie encode les résolutions de l’algèbre d’origine.