1 citations · 1 across the 4 of their papers we have counts for
4 papers
Diagrammatic sets as a model of homotopy types
Clémence Chanavat, Amar Hadzihasanovic
Diagrammatic sets are presheaves on a rich category of shapes, whose definition is motivated by combinatorial topology and higher-dimensional diagram rewriting. These shapes includ…
A model for the coherent walking -equivalence
Amar Hadzihasanovic, Félix Loubaton, Viktoriya Ozornova +1
We prove that a certain -category, which was constructed in previous work by the third and fourth author, is a model for the fully coherent walking -equivalence. Further, app…
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…
A Diagrammatic Axiomatisation for Qubit Entanglement
Amar Hadzihasanovic
Diagrammatic techniques for reasoning about monoidal categories provide an intuitive understanding of the symmetries and connections of interacting computational processes. In the…