Let be a Functor
We say that is full if, for any in
there exists in with