A morphism of schemes is a separated morphism if its diagonal morphismis 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.
Articles by others on the same topic
There are currently no matching articles.