diagonal morphism

Let be a category, an object and

a categorical product.

Then the diagonal morphism is defined as morphism induced by the universal property of the product for