• Tags
  • #homotopy/stable-homotopy
• Refs:
  • #todo/add-references
• Links:
  • koszul dual

operad

Definition: a multicategory with one object. Idea: generalized associative algebras.

Associative operad

Notes

Primary examples:

Given an operad \({\mathcal{O}}\), the functor taking things to free \({\mathcal{O}}{\hbox{-}}\)algebras is a monad.

In infty categories

Example: any symmetric monoidal infty category, or the nerve of the category of operators on a classical colored operad.

Relation to monad: