adjoint1

adjoint1 f -- 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.

Go to main index.

Go to concepts index.