Tensor-hom adjunction

From Wikipedia, the free encyclopedia

The tensor-hom adjunction

[edit] Statement

The functors - \otimes X and \operatorname{Hom}(X,-) form an adjoint pair:

\operatorname{Hom}(Y \otimes X, Z) = \operatorname{Hom}(Y,\operatorname{Hom}(X,Z))

[edit] Nomenclature

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

 This mathematics-related article is a stub. You can help Wikipedia by expanding it.