Operad algebra

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 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]

gollark: I have many uses.
gollark: I would run a Minecraft server, but my internet connection isn't fast enough and it uses way too much RAM.
gollark: Massively overkill for it, but it runs with a bunch of other stuff which also doesn't utilize the server much.
gollark: Which is a repurposed desktop.
gollark: It's on one of my "servers".

See also

Notes
  1. Francis, Proposition 2.9.

References
  • John Francis, Derived Algebraic Geometry Over -Rings
  • Hinich, Vladimir (1997-02-11). "Homological algebra of homotopy algebras". arXiv:q-alg/9702015.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.