Operads as polynomial 2-monads

MaRDI QIDQ3456342zbMATH OpenFDO

Authors Mark Weber

Publication date 14 December 2015

Full work available at URL https://arxiv.org/abs/1412.7599, http://www.emis.de/journals/TAC/volumes/30/49/30-49abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

operadspolynomial functors

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48) Enriched categories (over closed or monoidal categories) (18D20)

Abstract: In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the algebras of our associated 2-monad are the categorified algebras of the original operad. Moreover it enables us to characterise operads as categorical polynomial monads in a canonical way. This point of view reveals categorical polynomial monads as a unifying environment for operads, Cat-operads and clubs. We recover the standard construction of a monad from an operad in a 2-categorical way from our associated 2-monad as a coidentifier of 2-monads, and understand the algebras of both as weak morphisms of operads into a Cat-operad of categories. Algebras of operads within general symmetric monoidal categories arise from our new associated 2-monad in a canonical way. When the operad is sigma-free, we establish a Quillen equivalence, with respect to the model structures on algebras of 2-monads found by Lack, between the strict algebras of our associated 2-monad, and those of the standard one.

Recommendations

• Operads within monoidal pseudo algebras
• Opetopic algebras I: Algebraic structures on opetopic sets
• Polynomial functors and polynomial monads
• Homotopy theory for algebras over polynomial monads
• Polynomial functors and opetopes

Cited in

(14)

• ARE OPERADS ALGEBRAIC THEORIES?
• Faà di Bruno for operads and internal algebras
• Plethysms and operads
• \(\infty\)-operads as symmetric monoidal \(\infty\)-categories
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Monoidal structures on the categories of quadratic data
• A probability monad as the colimit of spaces of finite samples
• The incidence comodule bialgebra of the Baez-Dolan construction
• Polynomial functors and combinatorial Dyson-Schwinger equations
• The linear-non-linear substitution 2-monad
• Polynomial monads and delooping of mapping spaces
• Homotopy theory for algebras over polynomial monads
• Operads within monoidal pseudo algebras
• Internal algebra classifiers as codescent objects of crossed internal categories

This page was built for publication: Operads as polynomial 2-monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3456342)