adjoint
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
.
Go to
main index
.
Go to
concepts index
.