4 papers
Cubical coherent confluence, -groupoids and the cube equation
Philippe Malbos, Tanguy Massacrier, Georg Struth
We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions…
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara, Albert Burroni, Yves Guiraud +3
Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewritin…
Higher Catoids, Higher Quantales and their Correspondences
Cameron Calk, Philippe Malbos, Damien Pous +1
We introduce -catoids as generalisations of (strict) -categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rew…
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…