faithful functor

functor which is injective when restricted to every hom-set

Categories: