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

Universal Map

UniversalMap(C, S, [ n1, ..., nm ]) : Cop, Str, [ Map ] -> Map
Given maps n1, ..., nm from structures S1, ..., Sm that compose the coproduct C, to some structure S, this function returns the universal map C -> S.
 [Next][Prev] [_____] [Left] [Up] [Index] [Root]

Version: V2.19 of Wed Apr 24 15:09:57 EST 2013