See Categorical product. It is the unique morphism from any the object in a pairing of objects (remember: that is the triple of objects with projections) to a product of objects.

Used in Copairing of morphisms