Raffael Stenzel

Postdoc in Pure Mathematics

Max Planck Institute for Mathematics (Bonn, Germany)

profile picture

Work and Education

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.

Preprints and Publications:

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

Documents:

Miscellaneous:

  • 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.
Contact:
stenzel at mpim-bonn dot mpg dot de
Vivatsgasse 7, 53111 Bonn
Germany