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!