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.
Definitions
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\to O' \) is a map of operads and, moreover, if f is a homotopy equivalence, then the ∞-category of algebras over O in C is equivalent to the ∞-category of algebras over O' in C.[1]
See also
En-ring
Homotopy Lie algebra
Notes
Francis, Proposition 2.9.
References
John Francis, Derived Algebraic Geometry Over E n {\displaystyle {\mathcal {E}}_{n}} {\mathcal {E}}_{n}-Rings
Hinich, Vladimir (1997-02-11). "Homological algebra of homotopy algebras". arXiv:q-alg/9702015.
External links
http://ncatlab.org/nlab/show/operad
http://ncatlab.org/nlab/show/algebra+over+an+operad
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
