7
$\begingroup$

This is probably an easy question. Let C be a category with (finite) products. An internal hom in C category is an object uhom(X, Z) which represents the functor:

Y |-----> hom(Y x X, Z)

here "uhom" is for "underlined hom" as that is how it is commonly denoted. Many example of categories with internal homs satisfy an a priori stronger for of adjunction:

uhom(Y x X. Z) = uhom(Y, uhom(X,Z))

Is this automatic for categories with internal homs? Is there an easily understood counter example?

(*) This might not be the most general/best definition of internal hom, but it is valid for many examples.

$\endgroup$

3 Answers 3

8
$\begingroup$

I think both uhom(Y × X, Z) and uhom(Y, uhom(X, Z)) represent the same functor: hom(W, uhom(Y × X, Z)) = hom(W × Y × X, Z) hom(W, uhom(Y, uhom(X, Z))) = hom(W × Y, uhom(X, Z)) = hom(W × Y × X, Z), hence by Yoneda lemma they are isomorphic.

As a side remark, the right notion of inner hom in the absence of monoidal structure is the notion of closed category: http://en.wikipedia.org/wiki/Closed_category

$\endgroup$
1
  • $\begingroup$ right. That was embarrassingly easy. Thanks. $\endgroup$ Oct 29, 2009 at 13:09
2
$\begingroup$

Isn't this simply Yoneda given the associativity of products?

Hom(T,uHom(Y x X,Z)) = Hom(T x Y x X,Z) Hom(T x Y, uHom(X,Z)) = Hom(T,uHom(Y,uHom(X,Z)) for any test object T.

$\endgroup$
2
$\begingroup$

As Dimitri ans bhargav said, this is automatic for categories with internal homs. And you don't need x to be the product: you have the same result for any closed monoidal category (in your case it is cartesian closed). You can find it in "Basic concepts of enriched category theory", by G.M. Kelly, page 14, which you can get for free here: http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html .

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.