Let be a Functor
We say that is essentially surjective if
every is Isomorphic to for some