The Internal Monoidal Product
As we’re talking about enriched categories, we’re always coming back to the monoidal category . This has an underlying category , which is then equipped with a monoidal product — an ordinary functor . But as usual we don’t want to work with ordinary categories and functors unless we have to.
Luckily, we can turn this monoidal product into a -functor between -categories: . Here, refers to “tensor product”. On objects we do the same thing as before — — because the objects of the -category are the same as those of the ordinary category . But now we have to consider how this functor should act on the hom-objects. So we recall that we define the internal hom-functor as , using the closed structure on .
So to have a -functor we need morphisms . On the left we defined the hom-object for the product -category as , which is then defined as . On the right we have the exponential .
But by the closure adjunction an arrow is equivalent to an arrow . Now we can just swap around the factors on the left to get , and then inside each set of parentheses we can use the evaluation morphism we get from the closure adjunction, leaving us with . Putting together the swap and the evaluations we get the arrow we want. And then the closure adjunction flips this to the morphism we needed to define the monoidal product on hom-objects.
The underlying ordinary functor of the -functor is the old monoidal product again. On objects we already have the same action, so we need to check that the underlying function of the morphism is the same as the function . We already know that the underlying set of is and the cartesian product of hom-sets underlies the monoidal product of hom-objects, so we at least know that the underlying source and target objects are correct.
So what’s the underlying function? We have the arrow and we need to produce a function . In each of these hom-sets we can use the closure adjunction to get a function . But this is clearly function for the ordinary tensor product.
In light of this tight relationship between and , I’ll usually just write for each. Again, when I don’t specify whether I’m talking about the ordinary or the enriched functor I’ll default to the enriched version.
No comments yet.