essentially injective functor