 j-closed monomorphism

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.