Protoperads. I: Combinatorics and definitions

MaRDI QIDQ5094696zbMATH OpenFDO

Authors Johan Leray

Publication date 4 August 2022

Full work available at URL https://arxiv.org/abs/1901.05653, https://higher-structures.math.cas.cz/api/files/issues/Vol6Iss1/Leray

zbMATH Keywords

combinatoricsproperadspecies

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Chain complexes (category-theoretic aspects), dg categories (18G35) Algebraic operads, cooperads, and Koszul duality (18M70) Polycategories/dioperads, properads, PROPs, cyclic operads, modular operads (18M85) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: This paper is the first of two articles which develop the notion of protoperads. In this one, we construct a new monoidal product on the category of reduced S-modules. We study the associated monoids, called protoperads, which are a generalization of operads. As operads encode algebraic operations with several inputs and one outputs, protoperads encode algebraic operations with the same number of inputs and outputs. We describe the underlying combinatorics of protoperads, and show that there exists a notion of free protoperad. We also show that the monoidal product introduced here is related to Vallette's one on the category of S-bimodules, via the induction functor.

Recommendations

• Operads and PROPs
• Permutads
• Combinatorial operads from monoids
• Protoperads II: Koszul duality
• Operads and algebraic combinatorics of trees

Cites work

• A Koszul duality for props
• A Poincaré-Birkhoff-Witt criterion for Koszul operads
• Algebraic operads
• Deformation theory of representations of prop(erad)s I
• Deformation theory of representations of prop(erad)s. II
• Derived representation schemes and cyclic homology
• Double Poisson algebras
• Feynman categories
• Free monoid in monoidal abelian categories
• Gröbner bases for operads
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 3353526 (Why is no real title available?)
• Koszul duality for dioperads.
• Non-commutative quasi-Hamiltonian spaces
• Noncommutative Poisson structures, derived representation schemes and Calabi-Yau algebras
• Operads and PROPs
• Properadic homotopical calculus
• Protoperads II: Koszul duality
• Simple finite-dimensional double algebras
• Topology and logic as a source of algebra

Cited in

(3)

• Properadic homotopical calculus
• From homotopy Rota-Baxter algebras to pre-Calabi-Yau and homotopy double Poisson algebras
• Protoperads II: Koszul duality

Describes a project that uses

Uses Software

• operads

This page was built for publication: Protoperads. I: Combinatorics and definitions

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