nLab Raffael Stenzel

• website

Selected writings

On comprehension schemes and elementary $(\infty,1)$-toposes:

• Raffael Stenzel, (∞,1)-Categorical Comprehension Schemes [arXiv:2010.09663, talk: YT]

On $(\infty,1)$-sites:

• Raffael Stenzel, Higher sites and their higher categorical logic, talk at HoTT Electronic Seminar, (18 November 2021) [video:YT, slides:pdf]

• Raffael Stenzel, Notions of $(\infty,1)$-sites and related formal structures [arXiv:2306.06619]

category: people