[[!redirects fully faithful]] [[!redirects fully faithful functor]] [[!redirects full functor]] [[!redirects faithful functor]] < [[nlab:fully faithful functor]]