Enriched Categories II
So we have the basic data of a category enriched over a monoidal category . Of course, what I left out were the relations that have to hold. And they’re just the same as those from categories, but now written in terms of instead of : associativity and identity relations, as encoded in the following commutative diagrams:
Notice how these are very similar to the axioms for a monoidal category or a monoid object. And this shouldn’t be unexpected by now, since we know that a monoid is just a (small) category with only one object. In fact, if we only have one object in a -enriched category we get back exactly a monoid object in !
Now, often we’re thinking of our hom-objects as “hom-sets with additional structure”. There should be a nice way to forget that extra structure and recover just a regular category again. To an extent this is true, but for some monoidal categories the “underlying set” functor isn’t really an underlying set at all. For now, though, let’s look at a familiar category of “sets with extra structure” and see how we get the underlying set out of the category itself.
Again, the good example to always refer back to for enriched categories is , the category of abelian groups with tensor product as the monoidal structure. We recall that the functor giving the free abelian group on a set is left adjoint to the forgetful functor from abelian groups to sets. That is, . We also know that we can consider an element of the underlying set of an abelian group as a function from a one-point set into . That is, . Putting these together, we see that , since is the free abelian group on one generator.
But is also the identity object for the tensor product! The same sort of argument goes through for all our usual sets-with-structure, telling us that in all these cases the “underlying set” functor is represented by the monoidal identity , which is the free object on one generator. We take this as our general rule, giving the representable functor . In many cases (but not all!) this is the usual “underlying set” functor, but now we’ve written it entirely in terms of the monoidal category !
As time goes by, we’ll use this construction to recover the “underlying category” of an enriched category. The basic idea should be apparent, but before we can really write it down properly we need to enrich the notions of functors and natural transformations.
No comments yet.