Essentially surjective functor

In mathematics, specifically in category theory, a functor is essentially surjective if each object

is isomorphic to an object of the form

Any functor that is part of an equivalence of categories is essentially surjective.

As a partial converse, any full and faithful functor that is essentially surjective is part of an equivalence of categories.

This category theory-related article is a stub.