adjoint -- the adjoint map

adjoint -- the adjoint map

adjoint (f,F,G) -- 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:

adjoint1 -- the adjoint map

Ways to use adjoint :

adjoint(Matrix,Module,Module)