= Dense monomorphism classifier
{title2=$J=\{p\in\Omega:j(p)=\top\}$}
The pullback of the truth point along a <local operator> $j$ is the <subobject> $J\hookrightarrow\Omega$. A <monomorphism> with characteristic map $\chi$ is <j-dense> exactly when $\chi$ factors through $J$. Its internal order is inherited from the <Heyting algebra> of truth values. Having a least global element is an internal condition over all parameter objects, not just a condition on global truth values.
Back to article page
