Bar-Konstruktion
Definition
Eine standardmäßige simpliciale bzw. kettenebene Konstruktion, die eine Auflösung einer augmentierten assoziativen Algebra oder eines Moduls erzeugt, Erweiterungen kodiert und die Berechnung abgeleiteter Funktoren wie Tor und Hochschild-Homologie ermöglicht.