e/Essentially surjective functor

Information
has gloss	eng: In category theory, a functor :F:C\to D is essentially surjective if each object d of D is isomorphic to an object of the form Fc for some object c of C. Any functor which is part of an equivalence is essentially surjective.
lexicalization	eng: Essentially surjective functor
instance of	e/Functor