Subobject-classifier preservation criterion for a sheaf reflector

ID: subobject-classifier-preservation-criterion-for-a-sheaf-reflector

For a local operator , the following are equivalent: preserves the subobject classifier; is an isomorphism; the canonical inclusion is -dense; and every monomorphism factors as a -closed mono followed by a -dense mono .

New to topics? Read the docs here!