diagonal morphism

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences 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.