Tensor-hom adjunction
ID: tensor-hom-adjunction
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.
New to topics? Read the docs here!