Noun
diagonal morphism (plural diagonal morphisms) (category theory) 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.