Essentially surjective functor

In category theory, a functor

is essentially surjective (or dense) if each object d of D is isomorphic to an object of the form F c for some object c of C . Any functor which is part of an equivalence is essentially surjective.