The diagonal morphism sends a point to the pair consisting of that point twice. Every diagonal of schemes is a locally closed immersion, and a morphism is separated exactly when its diagonal is a closed immersion.
The term "diagonal morphism" often appears in category theory, a branch of mathematics that deals with abstract structures and relationships between them. In this context, the diagonal morphism is a specific kind of morphism that is useful for relating objects within a category.
New to topics? Read the docs here!