2 citations · 2 across the 3 of their papers we have counts for
Showing math.CTShow all
3 papers · 1 filter
math.CT2024
Acyclicity conditions on pasting diagrams
Amar Hadzihasanovic, Diana Kessler
We study various acyclicity conditions on higher-categorical pasting diagrams in the combinatorial framework of regular directed complexes. We present an apparently weakest acyclic…
math.CT2023
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…
math.CT2022★ 2 cited
Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
Amar Hadzihasanovic, Diana Kessler
We present a computational implementation of diagrammatic sets, a model of higher-dimensional diagram rewriting that is "topologically sound": diagrams admit a functorial interpret…