Biproduct

In category theory, an object that is both product and coproduct in compatible ways.