Operad

Colección de objetos O(n) (espacios, conjuntos, espacios vectoriales, etc.) para cada número natural n (aridad) junto con mapas de composición y unidad que satisfacen asociatividad, equivarianza (si es simétrica) y leyes de unidad; codifica tipos de álgebras mediante operaciones n-arias abstractas y sus composiciones.

Una estructura algebraica que codifica colecciones de operaciones con múltiples entradas y una salida, junto con mapas de composición y (en el caso simétrico) acciones de los grupos simétricos que expresan la permutación de las entradas.