Synthetic topos theory
[0041] Proposition

Let \(T\) be a base type theory. We work in \(T\). Then every finitely presented point of \(\mathcal {E}\) is essential.

Proof

By [003T] and [0040].