 Dense monomorphism classifier

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.