Full and faithful functors
（重定向自Fully faithful functor）
In category theory, a faithful functor (resp. a full functor) is a functor that is injective (resp. surjective) when restricted to each set of morphisms that have a given source and target.