diagonal morphism noun1 •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. formsdiagonal morphisms
