map

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.

Installed methods:

  • map(Ring,Ring,...) -- constructing ring homomorphisms
  • map(Module,Module,...) -- constructing ring homomorphisms

    • Go to main index.

    Go to concepts index.