Essentially surjective functor

$F:C\to D$

is essentially surjective when each object $d$ of $D$ is isomorphic to an object of the form $F c$ for some object $c$ of $C$ .