Essentially surjective functor

In mathematics, specifically in category theory, a functor