diagonal morphism

English

Noun

diagonal morphism (plural diagonal morphisms)

  1. (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.