MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is a follow-up to this question. Since an abelian category cannot be cartesian closed, clearly the hom functor is not right adjoint to the product (by an object). However, does the product (by an object) admit a right adjoint for some objects? If so, what is it? Does it exist in general? Does it only hold for finite products?

share|cite|improve this question
up vote 7 down vote accepted

In an additive category the functor F(–) = – × A = – ⊕ A cannot have a right adjoint unless A = 0. If F had a right adjoint then it would preserve coproducts and in particular A = F(0) = F(0 ⊕ 0) = F(0) ⊕ F(0) = A ⊕ A via the fold map. This means Hom(A, K) = Hom(A, K) × Hom(A, K) for every K, but Hom(A, K) is nonempty (we have zero maps) so Hom(A, K) = • and thus A = 0 by Yoneda.

share|cite|improve this answer
And Reid Barton scores again! – Harry Gindi Dec 31 '09 at 17:42
There are nontrivial sets which are isomorphic to their product with themselves. What about if A and A^2 are isomorphic, e.g. if A is an infinite direct sum of isomorphic objects? – Tyler Lawson Dec 31 '09 at 17:46
Right, that's why I said "via the fold map". The equality Hom(A, K) = Hom(A, K) x Hom(A, K) is being induced by the diagonal (I was a little sloppy in the notation). – Reid Barton Dec 31 '09 at 17:49
Ah, right. One way to say this is that product with A, being a left adjoint, should preserve the colimit of the empty diagram (which is the initial object of the category). – Tyler Lawson Dec 31 '09 at 17:53
Perhaps "Did you try taking the colimit of the empty diagram?" should go in the FAQ somewhere. – Tyler Lawson Dec 31 '09 at 18:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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