Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Let $\mathcal{C}$ be a category, let's denote by $\operatorname{Set}^{\mathcal{C}^{\operatorname{op}}}$ the category of presheaves of sets defined on $\mathcal{C}$ and natural transformations.

I want to prove that $\mathcal{C}$ is isomorphic (or at least equivalent) to the full subcategory of $\operatorname{Set}^{\mathcal{C}^{\operatorname{op}}}$ given by representable functors.

The only things i know are:

1) Yoneda embedding is fully faithful;

2) Yoneda embedding is injective on objects;

3) Yoneda's Lemma.

Do you think i can prove what I want using 1), 2), 3)? Could you suggest me how?

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

Fully faithful functor, which is injective on objects, is an isomorphism with its image(which is full subcategory of its target category). So your knowledge is sufficient to show that they are isomorphic.

share|cite|improve this answer
this is precisely what i'm not able to prove: how injectivity on objects implies that the equivalence is actually an isomorphism – bateman Jun 21 '13 at 16:12
@bateman: no need to think about equivalence! it is a simple fact about fully faithful functors. – Oskar Jun 21 '13 at 16:13
@bateman: The first step: prove that functor is an isomorphism iff it is fully faithful and bijective on objects. The second step: prove(its obvious) that corestriction of functor on its image is surjective on objects. Now everything is done! – Oskar Jun 21 '13 at 16:16

Well you should know that in order to be an equivalence of category it's necessary and sufficient for a functor $F$ to be fully faithful and that each object of the target category is isomorphic to $FA$ for a suitable $A$ in the source category. This is definitely your case.

share|cite|improve this answer
so i don't need the fact that Yoneda embedding is injective on objects? Do you confirm this? – bateman Jun 21 '13 at 10:41
That fact gives you that $\mathcal{C}$ is actually isomorphic to a full subcategory of $Set^{C^{op}}$, namely the one made of the hom-functors. – Edoardo Lanari Jun 21 '13 at 13:04

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.