Higher para-toposes

A para-topos is a cartesian closed (locally) presentable category.
A higher para-topos is defined to be a cartesian closed (locally) presentable infty-category.
If $\mathcal{E}$ is a higher para-topos, then so is the $\infty$-category $Cat(\mathcal{E})$ of complete Segal spaces in $\mathcal{E}$.
The construction $\mathcal{E} \mapsto Cat(\mathcal{E})$ can be iterated and it has fixed points.