Preprints

  1. Gray products of diagrammatic (∞, n)-categories.
     arXiv 2505.01387 C. Chanavat. 2025.
  2. Model structures for diagrammatic (∞, n)-categories.
     arXiv 2410.19053 C. Chanavat, A. Hadzihasanovic. 2024.
  3. Equivalences in diagrammatic sets.
     arXiv 2410.00123 C. Chanavat, A. Hadzihasanovic. 2024.
  4. Diagrammatic sets as a model of homotopy types.
     arXiv 2407.06285 C. Chanavat, A. Hadzihasanovic. 2024.

Talks

  1. Diagrammatic (∞, n)-categories.
     slides CLHC - Manchester. 2024
  2. What is a diagrammatic (∞, ∞)-category?
     slides TallCat Seminar - Tallinn. 2024
  3. Diagrammatic sets as a model of homotopy types.
     slides GETCO - Tallinn. 2024
  4. Cubical type theory inside a presheaf topos.
     slides SYCO10 - Edinburgh. 2022.

Personal notes

  1. Notes on sheaf cohomology.
     pdf 2023.
  2. Adjunctions, monads, and monadicity.
     pdf 2022.
  3. Category theory as a general tool for structures.
     pdf 2022. (in French).
  4. On the Yoneda Lemma.
     pdf 2022.

Master's Thesis

  1. Cubical Type Theory Inside a Presheaf Topos.
     pdf 2022. Supervised by Pierre-Louis Curien.
  2. Loops of Csörgő Type and the AIM Conjecture.
     pdf 2021. Supervised by Josef Urban.