|
The tensor-hom adjunction; in computer science the analogous concept is called currying.
Statement
The functors and form an adjoint pair:

Nomenclature
The order "tensor-hom adjunction" is because tensor is the left adjoint, while hom is the right adjoint.
|