Closure operation induced by a left-exact reflector

ID: closure-operation-induced-by-a-left-exact-reflector

For a subobject and a left-exact reflector with unit , define by the pullback in a category
This operation is monotone, inflationary, idempotent, and stable under pullback. If is fixed by , then is fixed by exactly when is closed.

New to topics? Read the docs here!