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 $A$ and $B$ be two abelian categories. Assume that there exist a functor $F$ between them which is exact, full and essencially surjective.

If $x$ is a projective object in $A$, then $F(x)$ is a projective object in $B$?

share|cite|improve this question
I think you might need some faithfulness hypotheses for this to be true: the main difficulty is in lifting epimorphisms in $B$ to epimorphisms in $A$. – Zhen Lin Jan 15 '12 at 9:06
But the property that $F$ is essentially surjective doesn't help to do this? – Iihon Mckort Jan 15 '12 at 19:42
No, being essentially surjective is a condition on objects, not arrows. It's not obvious to me whether your combination of hypotheses implies that $F$ reflects epimorphisms. – Zhen Lin Jan 15 '12 at 19:48
Do you know some hypothesis which reflects epimorphisms? – Iihon Mckort Jan 16 '12 at 3:39
Well, adding "faithful" to your hypotheses will do it, but then $F$ becomes an equivalence of categories! Another possibility is to strengthen your exactness hypothesis from "exact" to "faithfully exact". – Zhen Lin Jan 16 '12 at 10:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.