Faithful functor
= Faithful functor
{wiki}
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.
= Faithful functor
{wiki}
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.