Types of functors

Faithful functor

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

is injective. If it is also surjective, the functor is a Fully faithful functor.

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