Marc ejemplos son buenos, pero me permito añadir dos más (que están estrechamente relacionados entre sí):
1) Vamos a $\mathcal{C}$ ser accesibles $\infty$-categoría en el que se admite pequeñas filtrada colimits, y deje $\mathcal{X}$ ser $\infty$categoría
de functors de $\mathcal{C}$ a $\mathcal{S}$ que conservar pequeñas filtrada colimits. A continuación, $\mathcal{X}$ es $\infty$-topos, pero no sé cómo darse cuenta de $\mathcal{X}$ como $\infty$-categoría de poleas en un sitio.
2) Deje $X$ ser localmente compacto espacio topológico, y deje $\mathcal{X}$ ser $\infty$-topos de poleas en $X$. A continuación, $\mathcal{X}$ es exponentiable en la configuración de $\infty$-topoi: que es, para cada $\infty$- "topos"$\mathcal{Y}$, existe otro $\infty$- "topos" $\mathcal{Y}^{\mathcal{X}}$ tal que geométrica morfismos de $\mathcal{Z}$ a $\mathcal{Y}^{\mathcal{X}}$ son los mismos como el geométrico morfismos de $\mathcal{Z} \times \mathcal{X}$ a $\mathcal{Y}$
(donde se forma el producto en el $\infty$-categoría de $\infty$-topoi). No sé si $\mathcal{Y}^{\mathcal{X}}$ puede ser realizado como un $\infty$-topos de poleas en un sitio, incluso si se supone que esa descripción es conocido por $\mathcal{Y}$.
