Types of functors

Full functor

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

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

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