Operad

Eine Sammlung von Objekten O(n) (Räume, Mengen, Vektorräume, ...) für jede natürliche Zahl n (Arität) zusammen mit Kompositionsabbildungen und einer Einheit, die Assoziativität, Äquivarianz (bei symmetrischen Operaden) und Einheitsgesetze erfüllen; kodiert Typen von Algebren durch Angabe abstrakter n-stelliger Operationen und ihrer Zusammensetzung.

Eine algebraische Struktur, die Sammlungen von Operationen mit mehreren Eingaben und einer Ausgabe kodiert, zusammen mit Kompositionsabbildungen und (im symmetrischen Fall) Aktionen der symmetrischen Gruppen, welche die Permutation der Eingaben ausdrücken.