nLab point of an (infinity,1)-topos

Definition

Definition

A point $x$ of an (infinity,1)-topos $E$ is an (infinity,1)-geometric morphism

$$x : \infty\mathrm{Grpd} \stackrel{\overset{x^*}{\leftarrow}}{\underset{x_*}{\to}} E$$

from the base (infinity,1)-topos ∞Grpd to $E$.

Related concepts

• point of a topos
• point of a locale