4 papers
Homotopy theory of stricter -categories
Clémence Chanavat
We make strict -categories even stricter by requiring they satisfy higher exchange laws governed by Hadzihasanovic's theory of regular directed complexes. We study the first pro…
Gray products of diagrammatic -categories
Clémence Chanavat
For each , diagrammatic sets admit a model structure whose fibrant objects are the diagrammatic - categories. They also support a not…
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 constr…
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…