Internal higher topos theory

Abstract: We develop the theory of topoi internal to an arbitrary

i n f t y

-topos

m a t h c a l B

. We provide several characterisations of these, including an internal analogue of Lurie's characterisation of

i n f t y

-topoi, but also a description in terms of the underlying sheaves of

i n f t y

-categories, and we prove a number of structural results about these objects. Furthermore, we show that the

i n f t y

-category of topoi internal to

m a t h c a l B

is equivalent to the

i n f t y

-category of

i n f t y

-topoi over

m a t h c a l B

, and use this result to derive a formula for the pullback of

i n f t y

-topoi. Lastly, we use our theory to relate smooth geometric morphisms of

i n f t y

-topoi to internal locally contractible topoi.

This page was built for publication: Internal higher topos theory