 Tensor-hom adjunction

For modules over a commutative ring, there is a natural isomorphismgiven by $f\mapsto (m\mapsto (n\mapsto f(m\otimes n)))$.

The Tensor-hom adjunction is a concept in category theory that relates two functors: the "tensor" functor and the "hom" functor. This adjunction is particularly important in the context of monoidal categories, which are categories equipped with a tensor product.