The symmetric topos Original Research Article

We show that the 2-category of toposes and inverse images of geometric morphisms is 2-monadic over the 2-category of locally presentable categories and cocontinuous functors between them.