Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Shuffle polygraphic resolutions for operads
(Submitted on 31 Dec 2020 (v1), last revised 3 Aug 2022 (this version, v4))
Abstract: Shuffle operads were introduced to forget the symmetric group actions on symmetric operads while preserving all possible operadic compositions. Rewriting methods were then applied to symmetric operads via shuffle operads: in particular, a notion of Gr\"obner basis was introduced for shuffle operads with respect to a total order on tree monomials. In this article, we introduce the structure of shuffle polygraphs as a categorical model for rewriting in shuffle operads, which generalizes the Gr\"obner bases approach by removing the constraint of a monomial order for the orientation of the rewriting rules. We define w-operads as internal w-categories in the category of shuffle operads. We show how to extend a convergent shuffle polygraph into a shuffle polygraphic resolution generated by the overlapping branchings of the original polygraph. Finally, we prove that a shuffle operad presented by a quadratic convergent shuffle polygraph is Koszul.
Submission history
From: Philippe Malbos [view email][v1] Thu, 31 Dec 2020 17:16:16 GMT (64kb)
[v2] Mon, 12 Apr 2021 11:24:06 GMT (64kb)
[v3] Sat, 11 Jun 2022 20:08:56 GMT (59kb)
[v4] Wed, 3 Aug 2022 21:28:45 GMT (59kb)
Link back to: arXiv, form interface, contact.