Let be a Functor We say that is faithful if, given in