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