An object is j-separated when two maps into it which agree on a j-dense monomorphism are equal. Equivalently its diagonal is j-closed. Quotienting an arbitrary object by the j-closure of its diagonal gives its separated reflection, used in constructing the sheaf reflector for a local operator.
Articles by others on the same topic
There are currently no matching articles.