nLab
infinity-topos

A notion of $\mathrm{\infty }$-topos is a generalization of that of topos to higher category theory.

For the moment see higher topos theory for more.