Universal Map

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

Given maps \(n_1\), \(\ldots\), \(n_m\) from structures \(S_1\), \(\ldots\), \(S_m\) that compose the coproduct \(C\), to some structure \(S\), this function returns the universal map \(C\rightarrow S\).