General Operads and Multicategories

Abstract

Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to certain conditions on S and *. Different choices of S and * give some of the existing notions of operad and multicategory. We then describe the `algebras' for an (S,*)-multicategory and, finally, present a tentative selection of further developments. Our approach makes possible concise descriptions of Baez and Dolan's opetopes and Batanin's operads; both of these are included.

35 pages

References in corpus (1)

• Meromorphic tensor categories

Cited by in corpus (7)

• Operads in Higher-Dimensional Category Theory
• Homotopy Algebras for Operads
• Generalized Enrichment for Categories and Multicategories
• Equivalence of Borcherds G-Vertex Algebras and Axiomatic Vertex Algebras
• Comparing operadic theories of $n$-category
• Motivic E_{infinity} algebras and the motivic dga
• Generalized enrichment of categories