Closure operation of a local operator
= Closure operation of a local operator
If a subobject $A'\hookrightarrow A$ has characteristic map $\chi:A\to\Omega$, its $j$-closure is classified by $j\chi$. This closure operation is inflationary, idempotent, and stable under pullback.