Preprints

  1. Semi-strictification of (∞,n)-categories.
     arXiv 2507.00146 C. Chanavat, A. Hadzihasanovic. 2025.
  2. Gray products of diagrammatic (∞, n)-categories.
     arXiv 2505.01387 C. Chanavat. 2025.
  3. Model structures for diagrammatic (∞, n)-categories.
     arXiv 2410.19053 C. Chanavat, A. Hadzihasanovic. 2024.
  4. Equivalences in diagrammatic sets.
     arXiv 2410.00123 C. Chanavat, A. Hadzihasanovic. 2024.

Publications

  1. Diagrammatic sets as a model of homotopy types.
     preprint C. Chanavat, A. Hadzihasanovic. To appear in Homology, Homotopy and Applications, 2024.

Talks

  1. Gray products of diagrammatic (∞, n)-categories.
     slides CT - Brno. 2025 (short talk)
  2. Diagrammatic (∞, n)-categories.
     slides CLHC - Manchester. 2024 (short talk)
  3. What is a diagrammatic (∞, ∞)-category?
     slides TallCat Seminar - Tallinn. 2024
  4. Diagrammatic sets as a model of homotopy types.
     slides GETCO - Tallinn. 2024
  5. 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. 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.