Essentially Surjective on Objects Functor