Diagonal morphism

The term "diagonal morphism" often appears in category theory, a branch of mathematics that deals with abstract structures and relationships between them. In this context, the diagonal morphism is a specific kind of morphism that is useful for relating objects within a category.