Sheaf reflector for a local operator ($L:\mathcal{E}\to {\mathbf{sh}}_j(\mathcal{E})$)

The full subcategory of $j$-sheaves is reflective. Its reflector $L$ sends every $j$-dense monomorphism to an isomorphism and preserves finite limits.

For a local operator $j$, the following are equivalent: $L$ preserves the subobject classifier; $L(q):L\Omega \to {\Omega }_j$ is an isomorphism; the canonical inclusion $i:{\Omega }_j\hookrightarrow \Omega$ is $j$-dense; and every monomorphism $A^{\prime }\hookrightarrow A$ factors as a $j$-closed mono $A^{\prime }\hookrightarrow A^{\prime \prime }$ followed by a $j$-dense mono $A^{\prime \prime }\hookrightarrow A$.