Universal Map

UniversalMap(C, S, [ n_1, ..., n_m ]) : Cop, Str, [ Map ] -> Map

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.