4 papers
Equivalences in diagrammatic sets
Clémence Chanavat, Amar Hadzihasanovic
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict -categories, admit an internal notion of equivalence in the sense of coinductive weak…
Semi-strictification of -categories
Clémence Chanavat, Amar Hadzihasanovic
We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of -categories. This takes the form of a natural semi-strictificati…
Model structures for diagrammatic -categories
Clémence Chanavat, Amar Hadzihasanovic
Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict -categories. We const…
Combinatorics of higher-categorical diagrams
Amar Hadzihasanovic
This is a book on higher-categorical diagrams, including pasting diagrams. It aims to provide a thorough and modern reference on the subject, collecting, revisiting and expanding r…