Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems

DOI10.1080/10586458.2019.1577768zbMath1480.18018arXiv1809.05083OpenAlexW2890257444MaRDI QIDQ3383700

Christophe Cordero, Samuele Giraudo, Cyrille Chenavier

Publication date: 16 December 2021

Published in: Experimental Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

presentationlatticebinary treeenumerationoperadrewrite rule

Mathematics Subject Classification ID

Trees (05C05) Grammars and rewriting systems (68Q42) Loop space machines and operads in algebraic topology (55P48) Non-symmetric operads, multicategories, generalized multicategories (18M65)

Uses Software

• Python
• Caml

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Operads from posets and Koszul duality
• Gröbner bases for operads
• Pattern avoidance in binary trees
• Koszul duality for operads
• On generating series of finitely presented operads
• Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
• On theories with a combinatorial definition of 'equivalence'
• A Poincaré-Birkhoff-Witt criterion for Koszul operads
• Encyclopedia of Types of Algebras 2010
• On the structure of cofree Hopf algebras
• On the Homology of Associative Algebras
• Coherent presentations of Artin monoids
• Koszul Resolutions
• Algebraic Operads

This page was built for publication: Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems