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 topoi and discuss how historical notions of etale homotopy type are generalized. I'm planning to point out implications for sheaf cohomology of 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 A1 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.

SK1 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

Fun with infty-cats