A functor is faithful when each induced map on hom-sets is injective, and full when each such map is surjective. Every faithful functor reflects monomorphisms and epimorphisms.
New to topics? Read the docs here!
New to topics? Read the docs here!