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 .
Articles by others on the same topic
There are currently no matching articles.