Definition 4.7.
A point of a topos \(T\) is a geometric morphism \(\An \to T\). We write
\[\Pt(T) \quad := \quad \Fun_{\bbTop}(\An,T)\]
for the category of points.
Definition 4.7.
A point of a topos \(T\) is a geometric morphism \(\An \to T\). We write
for the category of points.