3 articles
Dual module
The dual module of a module M is Hom_R(M, R), the module of linear maps from M to the ring R, generalizing dual vector spaces.
Hom functor
The Hom functor is the category theory construction assigning to each pair of objects the set of morphisms between them, contravariant in the first argument.
Tensor–hom adjunction
The tensor–hom adjunction is a theorem of module theory giving a natural isomorphism Hom(M ⊗ N, P) ≅ Hom(M, Hom(N, P)); it underlies closed monoidal categories and homological algebra.