Specifically, the diagonal morphism of XX is a morphism ΔX:X→X2\Delta_X: X \to X^2 given (using the universal property of the product) by the identity morphism from XX to itself, taken twice. That is, ΔX\Delta_X is the universal solution to