Dualidad de Koszul

Una relación entre ciertos objetos algebraicos cuadráticos (o de tipo cuadrático) y sus duales homológicos, realizada típicamente mediante construcciones bar y cobar o tomando álgebras Ext; identifica una álgebra con un objeto dual derivado u homotópico cuya homología codifica las resoluciones de la álgebra original.