Higher-dimensional subdiagram matching

Amar Hadzihasanovic, Diana Kessler

Higher-dimensional rewriting is founded on a duality of rewrite systems and cell complexes, connecting computational mathematics to higher categories and homotopy theory: the two s…