## Is there a right adjoint to the contravariant functor Hom(-,B) in the category of Sets

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Hi, I apologise if this is the wrong place for this question but i need to ask it somewhere. The question is whether the right, (perhaps left?), adjoint to $Hom(-,A)$ exists in $\bf Set$ and how to deduse it.

I would very much like it to be the disjoint union $-\oplus A$ but im not quite sure how to deduce it or if its simply whishfull thinking.

Alternativly, is there an other adjoint (left or right) to the disjoint union.

I am writing an undergrad paper and I am aware of the coproduct. I'm asking since i hope the deduction of a dual adjoint will tell me a little of the general workings of category theory and help me understand how to make "computations" in concrete categories.

Also, if you have the time and will, is there a right adjoint to the covariant Hom functor?

Thanks in advance or sorry for wasting your time

-

## 3 Answers

To speak of right (or left) adjoints for a contravariant functor $F: C\to D$, one needs to decide whether to view it as a functor from $C^{op}$ to $D$ or as a functor from $C$ to $D^{op}$. What the one viewpoint calls a left adjoint, the other will call a right adjoint. One therefore often speaks instead of two contravariant functors being "adjoint on the right" (or on the left). In this language, $Hom(-,A)$ is adjoint on the right to itself, which means that morphisms from $X$ to $Hom(Y,A)$ are in natural bijective correspondence with morphisms from $Y$ to $Hom(X,A)$; here "natural" means (as usual for adjointness) with respect to both $X$ and $Y$.

-

Thx, I appreaciate all answers are good.  what really had me confused was the contravariant nature and my own hopes. – Tobias Feb 19 2012 at 23:08

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Left adjoints preserve colimits, but $\mathrm{Hom}(-,A)$ does not because $\mathrm{Hom}(\varnothing,A)\neq\varnothing$.

Right adjoints preserve limits, but if $A$ is not terminal, $\mathrm{Hom}(-,A)$ does not because `$\mathrm{Hom}(\{*\},A)\neq\{*\}$`. (if $A$ is terminal, the functor is constant equal to `$\{*\}$` and has a left adjoint which is the constant functor equal to $\varnothing$).

You can do the same reasoning to deduce that `$-\oplus{}A$` does not have adjoints, unless $A=\varnothing$.

-

Nice explanation. – Samuel Vidal Feb 19 2012 at 20:22
You forgot the contravariance.  Whichever hand it is, we do have $\hom(\emptyset,A) = \lbrace\ast\rbrace$, so we're preserving that limit, at least. – Theo Johnson-Freyd Feb 20 2012 at 2:44

Covariant $Hom$ takes $x$-element sets to $x^n$-element sets. If $f$ is a right adjoint, we have $y^{x^n}=f(y)^x$, and there is no function with this property.

But product is left adjoint to covariant $Hom$, as follows:

$Hom(X,Hom(A,Y))=Hom(X \times A,Y)$

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 30, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9343857765197754, "perplexity_flag": "head"}