3
$\begingroup$

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$?

  • 0
    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$.2012-01-15
  • 0
    But the property that $F$ is essentially surjective doesn't help to do this?2012-01-15
  • 0
    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.2012-01-15
  • 0
    Do you know some hypothesis which reflects epimorphisms?2012-01-16
  • 0
    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".2012-01-16

0 Answers 0