Diagonal morphism (algebraic geometry)

In algebraic geometry, given a morphism of schemes , the diagonal morphism is a morphism determined by the universal property of the fiber product of p and p applied to the identity and the identity . It is a special case of a graph morphism: given a morphism over S, the graph morphism of it is induced by and the identity . The diagonal embedding is the graph morphism of .

Diagonal morphism (algebraic geometry)

In algebraic geometry, given a morphism of schemes , the diagonal morphism is a morphism determined by the universal property of the fiber product of p and p applied to the identity and the identity . It is a special case of a graph morphism: given a morphism over S, the graph morphism of it is induced by and the identity . The diagonal embedding is the graph morphism of .