Definition
Das auf Kochenebene duale Verfahren zur Bar-Konstruktion, das aus counitalen Koalgebren oder augmentierten dg-Algebren differentialgraduierte Algebra- bzw. Koalgebrenmodelle erzeugt und zur Berechnung von Ext, Kohomologie und Homotopietypen dient.