[doug1001]

the category theory term is co-product

(which honors the convention of expressing a dual using "co-" and indeed co-product is the dual of product)