Universal Map

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

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