Full And Faithful Functors
In category theory, a faithful functor (resp. a full functor) is a functor which is injective (resp. surjective) when restricted to each set of morphisms that have a given source and target.
Explicitly, let C and D be (locally small) categories and let F : C → D be a functor from C to D. The functor F induces a function
for every pair of objects X and Y in C. The functor F is said to be
- faithful if FX,Y is injective
- full if FX,Y is surjective
- fully faithful if FX,Y is bijective
for each X and Y in C.
A faithful functor need not be injective on objects or morphisms. That is, two objects X and X′ may map to the same object in D (which is why the range of a full and faithful functor is not necessarily isomorphic to C), and two morphisms f : X → Y and f′ : X′ → Y′ (with different domains/codomains) may map to the same morphism in D. Likewise, a full functor need not be surjective on objects or morphisms. There may be objects in D not of the form FX for some X in C. Morphisms between such objects clearly cannot come from morphisms in C.
Read more about Full And Faithful Functors: Examples
Famous quotes containing the words full and/or faithful:
“There is a tide in the affairs of men
Which, taken at the flood, leads on to fortune;
Omitted, all the voyage of their life
Is bound in shallows and in miseries.
On such a full sea are we now afloat,
And we must take the current when it serves
Or lose our ventures.”
—William Shakespeare (1564–1616)
“... women of the North, I ask you to rise up with earnest, honest purpose, and go forward in the way of right, fearlessly, as independent human beings, responsible to God alone for the discharge of every duty, for the faithful use of every gift, the good Father has given you. Forget conventionalisms; forget what the world will say, whether you are in your place or out of your place; think your best thoughts, speak your best words, do your best works, looking to your own conscience for approval.”
—Susan B. Anthony (1820–1906)