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.

Prinzip

Die ordnenden Prinzipien sind Arität, Komposition und gegebenenfalls die Wirkung der symmetrischen Gruppe: komplexe multilineare Operationen werden aus einfacheren durch kohärente Kompositionsregeln aufgebaut, die Permutationen der Eingaben beachten, wenn erforderlich.

Demonstration

Die Endomorphismen-Operad End_V mit End_V(n) = Hom(V^{⊗ n}, V) und operadischer Komposition durch Einsetzen multilinearer Abbildungen; Algebren über der assoziativen Operad sind assoziative Algebren, über der kommutativen Operad kommutative Algebren.

Fehlanwendung

Eine Operad mit einer Algebra über dieser Operad zu verwechseln (die Operad selbst als algebraische Instanz zu behandeln) oder die Wirkung der symmetrischen Gruppe zu ignorieren, wenn sie verlangt ist, führt zu falscher Klassifikation von Operationen und verpassten Symmetrien.

Konsequenz

Operaden strukturieren und klassifizieren Arten algebraischer Strukturen und deren homotopische Varianten, erlauben das Übertragen von Operationen mittels Operadenmorphismen und bieten eine Sprache, um multilineare und höhere Operationen kohärent zu komponieren (nützlich in Topologie und homologischer Algebra).

Umkehrung

Die Umkehr zu einer PROP, einem Monad oder einer Multikategorie legt andere Primitive offen: PROPs kodieren Operationen mit mehreren Ausgängen, Monaden bündeln algebraische Strukturen als Endofunktoren, und Multikategorien lockern Symmetrie oder Typisierung.

Abgrenzung

Standard-(einfärbige) Operaden erfassen Operationen mit einem Ausgang und endlicher Anzahl von Eingängen; sie schließen Multi-Ausgangs-Operationen aus, sofern nicht verallgemeinert (PROPs); mehrfarbige oder modulare Operaden erweitern den Rahmen für typisierte Eingaben, Graphen und Geschlechtsaspekte.

Semantische Spannung

Spannung zu Monaden, PROPs und Multikategorien bei der Darstellung algebraischer Strukturen; die Frage ist, ob man aritätsbasierte Komposition (Operaden) oder endofunktoriale Monaden bzw. multi-io PROPs bevorzugt.

Synthese

Eine Operad ist ein algebraisches Schema, das festlegt, wie Operationen verschiedener endlicher Arität zusammengesetzt und permutiert werden, und so Familien von algebraischen Strukturen und ihre kohärenten Zusammensetzungen einheitlich beschreibt.