In mathematics, the tensor-hom adjunction is the statement that the tensor product − ⊗ X {\displaystyle -\otimes X} and hom-functor Hom ( X , − ) {\displaystyle \operatorname {Hom} (X,-)} form an adjoint pair: Hom ( Y ⊗ X , Z ) ≅ Hom ( Y , Hom ( X , Z ) ) . {\displaystyle \operatorname {Hom} (Y\otimes X,Z)\cong \operatorname {Hom} (Y,\operatorname {Hom} (X,Z)).} This is made more precise below.
In mathematics, the tensor-hom adjunction is the statement that the tensor product − ⊗ X {\displaystyle -\otimes X} and hom-functor Hom ( X , − ) {\displaystyle \operatorname {Hom} (X,-)} form an adjoint pair: Hom ( Y ⊗ X , Z ) ≅ Hom ( Y , Hom ( X , Z ) ) . {\displaystyle \operatorname {Hom} (Y\otimes X,Z)\cong \operatorname {Hom} (Y,\operatorname {Hom} (X,Z)).} This is made more precise below.
Source: Wikipedia "Tensor–hom adjunction" · CC BY-SA 4.0
Share this article: X · Bluesky