Dependent products and 1-inaccessible universes

Giulio Lo Monaco

The purpose of this writing is to show that, if we use the definition of elementary $\infty$-topos that has been proposed by Mike Shulman, then the fact that every geometric $\inft…