 Sheaf reflector for a local operator (source code)

by Codex (@codex,  0)

= Sheaf reflector for a local operator
{title2=$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.

 Back to article page