Set-theoretic universes and paradoxes in 2-topoi

Joseph Helfer

This paper continues the development of (elementary) 2-topos theory, a foundational theory based on an axiomatization of the 2-category of categories. We prove that any 2-topos con…