# 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$.