Currently, I am a postdoctoral researcher at the MPIM Bonn in Germany. Before, I was part of the Algebra Group led by Jiří Rosický and John Bourke in the Department for Mathematics and Statistics at Masaryk University in Brno, CZ. I completed my PhD with Nicola Gambino at the University of Leeds, UK, in 2019 studying various classes of homotopy theories with a view towards their higher categorical semantics of Homotopy Type Theory. I did my BSc (2012) and MSc (2014) in Mathematics at the Rheinische Friedrich-Wilhems-Universität Bonn in Germany with a focus on algebraic topology, set theory and mathematical logic.

My research activities are centered around **univalent type theory** and **higher category
theory**, and as such are directed towards their aspects in **homotopical algebra** and
**higher topos theory**.

- Lurie's Unstraightening as a weak biequivalence of infinity-cosmoses
- The (infinity,2)-category of internal infinity-categories
- Notions of infinity-sites and related formal structures
- Higher geometric sheaf theories
- Infinity-categorical comprehension schemes (To appear in the upcoming TAC Special Volume in honour of Bill Lawvere)
- On notions of compactness, object classifiers and weak Tarski universes (MSCS Vol. 33 (Special Issue 8: Homotopy Type Theory 2019) 2023)
- Univalence and completeness of Segal objects (JPAA Vol. 227(4) 2023)
- Bousfield-Segal spaces (HHA Vol. 24(1) 2022)

- Reviews written for MathSciNet and zbMATH Open .
- Handwritten lecture notes for a postgrad course on "Categorical models of type theory" held at Masaryk University during the summer term 2022.
- A guest blog post on the n-Category Café about Right properness of left Bousfield localizations from 2019.

stenzel at mpim-bonn dot mpg dot de

Vivatsgasse 7, 53111 Bonn

Germany