Exponentiable Higher Toposes

Mathieu Anel, Damien Lejay

We characterise the class of exponentiable $\infty$-toposes: $\mathcal{X}$ is exponentiable if and only if $\mathcal{S}\mathrm{h}(\mathcal{X})$ is a continuous $\infty$-category. The…