j-closed monomorphism
= j-closed monomorphism
{title2=$j\chi=\chi$}
= j-closed
{synonym}
A mono is j-closed if it equals its closure under the <local operator> $j$. Its characteristic map factors through the <closed-subobject classifier> $\Omega_j$. A j-closed subobject of a <j-sheaf> is a j-sheaf; a mono that is both closed and <j-dense> is an isomorphism.