Types of functors

Fully faithful functor

A fully faithful functor is a functor that is bijective on hom-sets. #m/def/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.

#state/tidy| #lang/en | #SemBr