Polygraphic resolutions for operated algebras

Zuan Liu, Philippe Malbos

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gröbner-Shirshov bases with non-monomial termina…