Category Theory – If $\operatorname{Hom}(X,-)$ and $\operatorname{Hom}(Y,-)$ Are Isomorphic, Why Are $X$ and $Y$ Isomorphic?

category-theory

Suppose you have a locally small category $\mathcal{C}$ and objects $X$ and $Y$ such that $\operatorname{Hom}(X,-)$ and $\operatorname{Hom}(Y,-)$ are isomorphic as covariant functors. How can you best see that $X$ and $Y$ are isomorphic in $\mathcal{C}$?

By Yoneda Lemma, we know
$$
\operatorname{Hom}(\operatorname{Hom}(X,-),\operatorname{Hom}(Y,-))\cong\operatorname{Hom}(Y,X).
$$

By assumption, there exists an isomorphism of functors $\Phi\colon\operatorname{Hom}(X,-)\to\operatorname{Hom}(Y,-)$, which by Yoneda lemma corresponds to some $f=\Phi_X(\operatorname{id}_X)\in\operatorname{Hom}(Y,X)$. Again by Yoneda Lemma, we have an isomorphism $\Phi^{-1}\colon\operatorname{Hom}(Y,-)\to\operatorname{Hom}(X,-)$, which corresponds to some $g=\Phi^{-1}_Y(\operatorname{id}_Y)\in\operatorname{Hom}(X,Y)$.

My suspicion is $f\circ g=\operatorname{id}_X$ and $g\circ f=\operatorname{id}_Y$, to give the conclusion. But I'm getting completely bogged down trying to show that. Does anyone have an explicit computation or something to give the conclusion? Thanks.

Best Answer

The Yoneda Lemma tells you that $C \to \widehat{C}$, $X \mapsto \hom(X,-)$ is fully faithful. Any fully faithful functor reflects isomorphism.

Proof: Let $F : C \to D$ be a fully faithful functor and let $F(X) \cong F(Y)$. Choose an isomorphism $F(X) \to F(Y)$. Choose a morphism $f : X \to Y$ inducing this isomorphism, and choose a morphism $g : Y \to X$ inducing the inverse isomorphism (fullness). Then $f \circ g$ and $g \circ f$ induce the identity on $F(Y)$ resp. $F(X)$, so that they are the identity (faithfulness). $\square$

Related Question