Internal 1-topoi in 2-topoi

TL;DR

This paper extends Weber's elementary 2-topos concept by introducing axioms ensuring the DOF classifier is an internal elementary 1-topos, revealing the importance of groupoidal objects in 2-category structures.

Contribution

It proposes new axioms for elementary 2-topoi, demonstrating that the DOF classifier becomes an internal elementary 1-topos and highlighting the role of groupoidal objects in 2-category theory.

Findings

DOF classifier is an internal elementary 1-topos under new axioms

2-categories are determined by their groupoidal objects

Groupoidal objects are dense in the 2-category

Abstract

We further develop Weber's notion of elementary 2-topos by proposing certain new axioms. We show that in a 2-category C satisfying these axioms, the "discrete opfibration (DOF) classifier" S is always an internal elementary 1-topos, in an appropriate sense. The axioms introduced for this purpose are closure conditions on the DOFs having "S-small fibres". Among these closure conditions, the most interesting one asserts that a certain DOF, analogous to the "subset fibration" over Set, has small fibres. The remaining new axioms concern "groupoidal" objects in a 2-category, which are seen to play a significant role in the general theory. We prove two results to the effect that a 2-category C satisfying these axioms is "determined by" its groupoidal objects: the first shows that C is equivalent to a 2-category of internal categories built out of groupoidal objects, and the second shows that the groupoidal objects are dense in C.