Fully Faithful Functor¶ A fully faithful functor is a functor which is both a full functor and a faithful functor.