map(Y,X,d) -- constructs a map to Y from X defined by data d.
This is intended to be a general mechanism for constructing maps (homomorphisms) between objects in various categories.
Ways to use map :
Optional arguments :