j-separated object
= j-separated object
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>.