In mathematics, the tensor-hom adjunction is that the tensor product
form an adjoint pair: This is made more precise below.
The order of terms in the phrase "tensor-hom adjunction" reflects their relationship: tensor is the left adjoint, while hom is the right adjoint.
Say R and S are (possibly noncommutative) rings, and consider the right module categories (an analogous statement holds for left modules): Fix an
and define functors
is left adjoint to
This means there is a natural isomorphism This is actually an isomorphism of abelian groups.
This is one of the motivating examples of the structure in a closed bicategory.
[1] Like all adjunctions, the tensor-hom adjunction can be described by its counit and unit natural transformations.
Using the notation from the previous section, the counit has components given by evaluation: For The components of the unit are defined as follows: For
-module homomorphism given by The counit and unit equations[broken anchor] can now be explicitly verified.
-module homomorphism defined by and therefore The Hom functor
commutes with arbitrary limits, while the tensor product
functor commutes with arbitrary colimits that exist in their domain category.
fails to commute with colimits, and
fails to commute with limits; this failure occurs even among finite limits or colimits.
This failure to preserve short exact sequences motivates the definition of the Ext functor and the Tor functor.
We can illustrate the tensor-hom adjunction in the category of functions of finite sets.
, its Hom functor takes any set
to the set of functions from
The isomorphism class of this set of functions is the natural number
Similarly, the tensor product
Its isomorphism class is thus the natural number
This allows us to interpret the isomorphism of hom-sets that universally characterizes the tensor-hom adjunction, as the categorification of the remarkably basic law of exponents