Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-20/4/d/solution

A morphism of schemes is a separated morphism if its diagonal morphism
is a closed immersion. The diagonal morphism is induced by the pair of identity maps on . Thus separatedness is a condition relative to the given target , not a requirement that be absolutely separated.

New to topics? Read the docs here!