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 categoryThis 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!