Preprints
A Compositional Account of Generalized Reversible Computing.
[arXiv] C. Chanavat, P. V. Srinivasan. 2025.
[arXiv] C. Chanavat, P. V. Srinivasan. 2025.
Homotopy theory of stricter n-categories.
[arXiv] C. Chanavat. 2025.
[arXiv] C. Chanavat. 2025.
Semi-strictification of (∞, n)-categories.
[arXiv] C. Chanavat, A. Hadzihasanovic. 2025.
[arXiv] C. Chanavat, A. Hadzihasanovic. 2025.
Gray products of diagrammatic (∞, n)-categories.
[arXiv] C. Chanavat. 2025.
[arXiv] C. Chanavat. 2025.
Model structures for diagrammatic (∞, n)-categories.
[arXiv] C. Chanavat, A. Hadzihasanovic. 2024.
[arXiv] C. Chanavat, A. Hadzihasanovic. 2024.
Publications
Equivalences in diagrammatic sets.
[arXiv][DOI] C. Chanavat, A. Hadzihasanovic. 2024. In Journal of Pure and Applied Algebra.
[arXiv][DOI] C. Chanavat, A. Hadzihasanovic. 2024. In Journal of Pure and Applied Algebra.
Diagrammatic sets as a model of homotopy types.
[arXiv] C. Chanavat, A. Hadzihasanovic. 2024. To appear in Homology, Homotopy and Applications.
[arXiv] C. Chanavat, A. Hadzihasanovic. 2024. To appear in Homology, Homotopy and Applications.