Opérade

Collection d'objets O(n) (espaces, ensembles, espaces vectoriels, ...) indexés par l'arité n, munie de lois de composition et d'une unité satisfaisant l'associativité, l'équivalence par permutation (si symétrique) et les lois d'unité ; encode des types d'algèbres en spécifiant des opérations n-aires abstraites et leurs compositions.

Une structure algébrique qui encode des familles d'opérations à plusieurs entrées et une sortie, munies de lois de composition et, dans le cas symétrique, d'actions des groupes symétriques exprimant la permutation des entrées.