The Dual to the product in Category theory. We also define them as triples of objects and two arrows. But the arrows are reversed and they become injections (instead of projections). Defined below:

It defines the Copairing of morphisms

In the category of Sets, this is given by the Disjoint union

See more here