adjoint1 -- the adjoint map

adjoint1 -- the adjoint map

adjoint1 (f,G,H) -- if f is a homomorphism of free modules of the form F -> G ** H, then produce the adjoint homomorphism of the form F ** (dual G) -> H.

See also:

adjoint -- the adjoint map

Ways to use adjoint1 :

adjoint1(Matrix,Module,Module)