This is intended to be a general mechanism for constructing maps (homomorphisms) between objects in various categories.
Installed methods: