Preprints

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

Talks

  1. Diagrammatic sets as a model of homotopy types. GETCO - Tallinn. 2024 slides
  2. Cubical type theory inside a presheaf topos. SYCO10 - Edinburgh. 2022. slides

Personal notes

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

Master's Thesis

  1. Cubical Type Theory Inside a Presheaf Topos. 2022. pdf
    Summer '22 internship, for my Master's thesis. Supervised by Pierre-Louis Curien.
  2. Loops of Csörgő Type and the AIM Conjecture. 2021. pdf
    Summer '21 internship. Supervised by Josef Urban.