Internal Hom Functors
As Todd Trimble pointed out, things get really nice when a category is enriched over itself. That is, the morphisms from one object to another in 
themselves have the structure of an object of . This trivially the case for 
, because there’s a set of functions from one set to another. We also know that in 
there’s an abelian group of homomorphisms from one abelian group to another. We say that the category has an “internal hom functor”, because the hom functor lands back inside the category itself, rather than in the category of sets.
For the moment, let’s consider a category that is not only monoidal (which is needed to have an enriched category), but also symmetric and closed. Remember that “closed” means we have an adjunction 
for each object 
. In the set 
is the set of functions from to 
, while in it’s the abelian group of homomorphisms from to . We see that these are already the internal hom functors we’re looking for in these situations.
So in general let’s take our symmetric, monoidal, closed category , with underlying ordinary category 
. The adjunction between the monoidal structure and the exponential has a counit — an arrow 
— which corresponds to “evaluation” in both of our sample cases. That is, it takes a function 
and an element 
and gives an element 
. We can use this to build a category.
Start with the objects of , and define the hom-object from to as (using the exponential functor from the closed structure). We need to find arrows 
and 
, and we’ll use the adjunction to do it. For composition, we have the arrow
where the first step is the associator and the other two are evaluations. This is an element of 
, so the adjunction sends it to an element of 
, as we require. For identities, we can just use the left-unit arrow 
and pull the same trick. Now properties of adjoints give us the required relations to make this a category enriched over .
And finally we can check that 
, so the “underlying set” of is actually the set of morphisms from to in the underlying category . This justifies our suspicions that the -category we just built is in fact itself, now as a category enriched over itself.
August 23, 2007 -
Posted by John Armstrong |
Category theory
The Unapologetic Mathematician 
Nice post, John. One thing I love about category theory is the way a few simple concepts continually reflect back on and through one another, creating these kaleidoscopic displays and, after a while, real depth of perception. What you can achieve with the concept of an adjunction (and closely intertwined concepts of representables, limits, monad, monoid, theory, …) is nothing short of astonishing.
A quick note: the archetypal example of a 2-category is Cat, as you’ve said. But what is a 2-category? A Cat-enriched category! So we are saying Cat is a Cat-enriched category. The deeper explanation, following the philosophy of today’s entry, is that Cat is a cartesian closed category! (Not a trivial result, that!)
What I really mean is, there’s this hierarchy: 0-categories (sets), 1-categories (categories), 2-categories, … where an (n+1)-category is an (n-Cat)-enriched category! And one can prove by induction that n-Cat is cartesian closed, hence enriched in itself, hence an (n+1)-category! [NB: I am speaking of *strict* n-categories, not the weak n-categories that are much the rage these days.] There are some lovely expositions of this sort of thing in old installments of John Baez’s This Week’s Finds.
Sorry, I get carried away. Please, carry on…
No, it’s good to have a Greek chorus around sometimes. Yes,
is a 
-category (which is how I defined strict 2-categories) so it’s an example of this. There’s more to be said about these, so I’m not trying to get it all into one post.
I forget if I mentioned before, but when you first said “categories enriched in themselves” I somehow didn’t make the connection with “internal homs”, which is the language I’m more familiar with. Once I realized that, clearly I’m going to be talking about them. When I eventually (long way off) get to things like sheaves the concept of an internal hom is the best motivator for a lot of how they work.
[…] fact, the evaluation above is the counit of the adjunction between and the internal functor . This adjunction is a natural isomorphism of sets: . That is, left -modules are in […]
Pingback by Algebra Representations « The Unapologetic Mathematician | October 24, 2008 |
One question. Is there any reference for this construction. I am using it and I would like to refer to some paper or book
Best