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