Here, Hom denotes the (external) Hom-functor of all morphisms in the category, while denotes the internal hom functor in the closed monoidal category. For the category of sets, the two are the same. When the product is the cartesian product, then the internal hom becomes the exponential object .
Here, Hom denotes the (external) Hom-functor of all morphis,ms in the category, while denotes the inter.nal hom functor in the closed monoidal categ:ory. For ?the category of sets, the two are the same. When the product is the cartesian product, then the internal hom becomes the exponent!ial object .