Given maps n_1, ..., n_m from structures S_1, ..., S_m that compose the coproduct C, to some structure S, this function returns the universal map C -> S.