Projects
Master Thesis
I'm currently working on my Master Thesis. A prominent feature will be the etale homotopy type of higher stacks, as introduced by D.Carchedi in this paper. Therefore, I introduce étale blossoms and the shape of \( \infty - \) topoi and discuss how historical notions of etale homotopy type are generalized. I'm planning to point out implications for sheaf cohomology of \( \infty - \) topoi. Also I would like to present a good number of applications, possibly in log geometry. Originally it was my goal to include relations to \( \mathbb{A}^1 \) Homotopy Theory. However, that might be a bit much for a Master thesis. You can find a more detailed list of (prospective) contents here. A first version of my thesis will be linked here or at the header in near future.
Bachelor Thesis
My bachelor thesis focused on simplicial and semisimplicial sets, Kan extensions, and realization. During this project, I was introduced to model categories and simplicial homotopy for the first time. Although the results presented in the thesis were largely known, it was a good opportunity to get familiar with the world of categories. Feel free to ask if you would like a copy.
Academic Talks
Lurie's Straightening Unstraightening equivalence
held on 5.Nov.2024 in the Seminar "Homotopy Theory"-organised by Markus Land.
\( SK_1 \) of affine curves over finite fields vanishes
held in 2023 in the Seminar "Algebraic K-Theory"-organised by Andreas Rosenschon.
Completness of real numbers in MINLOG
held in 2023 in the Seminar "Constructive Analysis with Witnesses"-organised by H.Schwichtenberg.
A first introduction to Spectral Sequences
held in 2023 in the Seminar "Spectral Sequences" -organised by Simon Gritschacher, Jonas Stelzig
The H-Cobordism Theorem - Talk 7
held in 2023 in the Seminar "The H-Cobordism Theorem" -organised by T.Vogel
The Torelli group
held in 2022 in the Seminar "The Mapping Class group of surfaces"-organised by S.Hensel
Public Talks
A first encounter with category theory
held in 2025 at the highschool "Gymnasium Trudering" - in german