Cubical coherent confluence, $\omega$-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…