Fully faithful functor

A fully faithful functor is a functor that is bijective on hom-sets. cat If is a functor, then it is fully faithful iff for any hom-set the associated mapping

is bijective. That is to say every morphism is the image of exactly one morphism . Fully faithful functors preserve relationships between objects in a category.