diagonal morphism

Noun

 * 1)  A morphism from an object to the product of that object with itself, which morphism is induced by a pair of identity morphisms of the said object.