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