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!