[Next] [Prev] [_____] [Left] [Up] [Index] [Root] 
Universal Map


Universal Map





UniversalMap(C, [ n_1, ..., n_m ]) : C, [ Maps ] -> Map



Given maps n_1, ..., n_m from structures C_1, ..., C_m
that compose the coproduct C, to some structure D, this function returns the
universal map C -> D.



[Next] [Prev] [_____] [Left] [Up] [Index] [Root]