Operads as polynomial 2-monads

zbMATH Open1375.18058arXiv1412.7599MaRDI QIDQ3456342FDOQ3456342

Authors: Mark Weber 

Publication date: 14 December 2015

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.

Full work available at URL: https://arxiv.org/abs/1412.7599

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

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

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)

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
• Monoidal structures on the categories of quadratic data
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• 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)