When H = Hom(M,N) is computed, information about computing the morphisms corresponding to its elements is stored in H.
|
|
|
|
The source and target are what they should be.
|
|
Except for a possible redistribution of degrees between the map and modules, we can undo the process with homomorphism'.
|
|
|
|
|
After pruning a Hom module, one cannot use homomorphism directly. Instead, first apply the pruning map:
|
|
The object homomorphism is a method function.