MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## When do adjunctions preserve equivalence?

Let $\mathcal{C}'$ and $\mathcal{D}'$ be categories so that $\mathcal{C} \subseteq \mathcal{C}'$ and $\mathcal{D} \subseteq \mathcal{D}'$ are full subcategories. Suppose the forgetful functors $F_{\mathcal{C}}:\mathcal{C} \to \mathcal{C}'$ and $F_{\mathcal{D}}: \mathcal{D} \to \mathcal{D}'$ have left adjoints $G_{\mathcal{C}}$ and $G_{\mathcal{D}}$. Then in general does an equivalence of categories between $\mathcal{C}'$ and $\mathcal{D}'$ induce an equivalence of categories between $\mathcal{C}$ and $\mathcal{D}$ by composing with the adjunctions? If this is not true in general are there any criteria to guarantee this?

The specific situation this came up in was trying to prove an equivalence of categories between sheaves on two different sites. I didn't want to deal with showing things were sheaves so I wanted to just prove an equivalence between the presheaf categories and say we can sheafify to get an equivalence on the sheaf level. I ended up proving that my functor sent sheaves to sheaves directly but I was still wondering if there was an answer to this question in general.

-

I think that in this generality the answer is "no". For example, take $\mathcal{C}'=\mathcal{D}'$ equal to some additive category, take the identity as the equivalence, take $\mathcal{C}=\mathcal{C}'$ and $\mathcal{D}=0$. This seems to satisfy your hypotheses.