In algebra, an operad algebra is an "algebra" over an operad. It is a generalization of an associative algebra over a commutative ring R, with an operad replacing R.
Given an operad O (say, a symmetric sequence in a symmetric monoidal ∞-category C), an algebra over an operad, or O-algebra for short, is, roughly, a left module over O with multiplications parametrized by O.
If O is a topological operad, then one can say an algebra over an operad is an O-monoid object in C. If C is symmetric monoidal, this recovers the usual definition.
Let C be symmetric monoidal ∞-category with monoidal structure distributive over colimits. If
f:O\toO'
l{E}n