{"id":"arxiv/2607.28584","url":"https://arxiv.org/abs/2607.28584","tags":["math.CT","math.LO"],"score":0,"title":"Set-theoretic universes and paradoxes in 2-topoi","domain":"math.CT","source":"arxiv","authors":["Joseph Helfer"],"reviews":0,"subject":"math.CT","summary":"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 contains a model of intuitionistic ZF set theory, and we use this to show that, if appropriate size restraints are not imposed, then a Burali-Forti type paradox can be deduced from the 2-topos axioms. The set-theoretic universe is produced as a special case of a general construction giving an internal category of models in a 2-topos of an arbitrary finite higher-order theory, which in turn is carried out using a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}