Internal 1-topoi in 2-topoi

Joseph Helfer

We further develop the notion of elementary 2-topos, introduced by Weber, by proposing certain new axioms. We show that in a 2-category C satisfying these axioms, the "discrete opf…