map(Module)

map M -- construct the identity map from M to itself.

This can also be accomplished with id_M or map(M,1) .

See also map and id.

Go to main index.

Go to concepts index.