Internal higher topos theory

Louis Martini, Sebastian Wolf

We develop the theory of topoi internal to an arbitrary $\infty$-topos $\mathcal{B}$. We provide several characterisations of these, including an internal analogue of Lurie's charac…