Notes
Notes on sheaf cohomology.
[PDF] 2023.
[PDF] 2023.
Adjunctions, monads, and monadicity.
[PDF] 2022.
[PDF] 2022.
On the Yoneda Lemma.
[PDF] 2022.
[PDF] 2022.
Master's thesis
Cubical Type Theory Inside a Presheaf Topos.
[PDF] 2022. Supervised by Pierre-Louis Curien.
[PDF] 2022. Supervised by Pierre-Louis Curien.
Loops of Csörgő Type and the AIM Conjecture.
[PDF] 2021. Supervised by Josef Urban.
[PDF] 2021. Supervised by Josef Urban.