Does Yoneda embedding reflect equivalent categories?

333 Views Asked by At

Let $\mathsf{Cat}$ denote the category of small categories. For categories $\mathcal A$ and $\mathcal B$ in $\mathsf{Cat}$, let $[\mathcal A,\mathcal B]$ denote the category whose objects are functors form $\mathcal A$ to $\mathcal B$ and morphisms are natural transformation between those functors. My question is

Given a functor $F:\mathcal A\to\mathcal B$. Suppose for any $\mathcal C\in\text{ob}\mathsf{Cat}$ we have $F^*:[\mathcal B,\mathcal C]\to[\mathcal A,\mathcal C]$ is an equivalence, or for any $\mathcal C\in\text{ob}\mathsf{Cat}$ we have $F_*:[\mathcal C,\mathcal A]\to[\mathcal C,\mathcal B]$ is an equivalence. Can we deduce that $F$ is an equivalence?

1

There are 1 best solutions below

2
On BEST ANSWER

Yes. This is a special case of the $2$-categorical Yoneda Lemma. Here is a direct proof.

Assume that $F^*$ is an equivalence for all categories $C$. In particular, $F^* : [B,A] \to [A,A]$ is essentially surjective. Choose some $G : B \to A$ with $GF \cong \mathrm{id}_A$. We have $FG \cong \mathrm{id}_B$ since $FGF \cong \mathrm{id}_B F$ and $F^* : [B,B] \to [A,B]$ is fully faithful.

You can use the same proof for $F_*$. Or you can give a quick argument as shown by Clive Newstead in the comments.