Definition Given categories and , a functor is called faithful if for all , the maps is an injection.